Robuta

https://easychair.org/smart-program/FLoC2022/paper2252.html
first order logiccertain answerspaperapproximations