Peter Baumgartner Ulrich Furbach Margret Groß-Hardt Alex Sinner Living Book - Deduction, Slicing, and Interaction. 259-286 2004 32 J. Autom. Reasoning 3 http://dx.doi.org/10.1023/B:JARS.0000044872.51237.c9 db/journals/jar/jar32.html#BaumgartnerFGS04