Natural language understanding for logical games. - Adrian Groza; Cristian Nitu (CoRR, 2021)

Question answering over logic puzzles using theorem proving. - Adrian Groza; Cristian Nitu (SAC, 2022)