Vandevelde, S.; Vennekens, J. FOLL-E: Teaching First Order Logic to Children. AAAI 2024, 37, 15869-15876.