Rules and Reasoning - Costantini; Franconi, Enrico; Kontchakov, Roman; Roman, Dumitru; Sadri, Fariba; Van Woensel, William (Springer International Publishing, 2017)