Peter Baumgartner.
Logical Engineering with Instance-Based Methods.
In Frank Pfenning, editor, CADE-21 - The 21st International Conference on Automated Deduction, volume 4603 of Lecture Notes in Artificial Intelligence, pages 404-409. Springer, July 2007. [ bib | .pdf ]
 
Peter Baumgartner, Ulrich Furbach, and Björn Pelzer.
Hyper Tableaux with Equality.
In Frank Pfenning, editor, CADE-21 - The 21st International Conference on Automated Deduction, volume 4603 of Lecture Notes in Artificial Intelligence, pages 492-507. Springer, 2007. [ bib | .pdf | Abstract ]
 
Frank Pfenning, editor.
Automated Deduction - CADE-21, volume 4603 of Lecture Notes in Artificial Intelligence. Springer, 2007. [ bib ]