Rules and Reasoning - Benzmüller (Springer International Publishing, 2018)