MineFOL: a Game for Learning First Order Logic. - Adrian Groza; Maria Monalisa Baltatescu; Mihai Pomarlan (ICCP, 2020)