@book{SocherJohann2015, author = {Rolf Socher and Patricia Johann}, title = {Deduction systems}, isbn = {0-387-94847-3}, year = {2015}, }