Rules and Reasoning - Gutiérrez-Basulto; Giese, Martin; Kliegr, Tomás; Roman, Dumitru; Soylu, Ahmet (Springer International Publishing, 2020)