Baumgartner, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Baumgartner, P., Furbach, U., Gross-Hardt, M., & Sinner, A. (2004). Living Book -- Deduction, Slicing, and Interaction. Journal of Automated Reasoning, 32, 259-286.