Rules and Reasoning - Fodor; Calvanese, Diego; Montali, Marco; Roman, Dumitru (Springer International Publishing, 2019)