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 ]

 

Frank Pfenning, editor.
Automated Deduction -- CADE-21, volume 4603 of Lecture Notes in Artificial Intelligence. Springer, 2007. [ bib ]

 

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 ]