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