Rules and Reasoning - Benzmüller; Dumitru Roman; Francesco Ricca; Xavier Parent; Parent, Xavier; Ricca, Francesco; Roman, Dumitru (Springer International Publishing, 2018)