@ARTICLE{Baumgartner:EtAl:LivingBook:JAR:2004,
AUTHOR = {Baumgartner, Peter and Furbach, Ulrich and Gross-Hardt, Margret and Sinner, Alex},
TITLE = {Living Book -- Deduction, Slicing, and Interaction},
JOURNAL = {Journal of Automated Reasoning},
PUBLISHER = {Kluwer},
YEAR = {2004},
NUMBER = {3},
VOLUME = {32},
PAGES = {259--286},
}
Entry last modified by Anja Becker, 01/28/2008