Question Answering over Logic Puzzles Using Theorem Proving

Full citation

"Question Answering over Logic Puzzles Using Theorem Proving", Groza, Adrian and Nitu, Cristian, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing (SAC '22), Virtual Event Association for Computing Machinery, pp. 871–874, New York, NY, USA, DOI: 10.1145/3477314.3507177, ISBN: 9781450387132, 2022.