Peter Baumgartner.
Linear and Unit-Resulting Refutations for Horn Theories.
Journal of Automated Reasoning, 16(3):241-319, June 1996. [ bib | .pdf | Abstract ]
 
Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, and Frieder Stolzenburg.
Deduktion und Logisches Programmieren.
KI, 10(2):34-39, 1996. [ bib ]
 
Peter Baumgartner, Ulrich Furbach, and Ilkka Niemelä.
Hyper Tableaux.
In Logics in Artificial Intelligence (JELIA '96), number 1126 in Lecture Notes in Artificial Intelligence. Springer, 1996. [ bib | .pdf | Abstract ]
 
Peter Baumgartner.
Theory Reasoning in Connection Calculi and the Linearizing Completion Approach.
PhD thesis, Universität Koblenz-Landau, 1996. [ bib | .pdf | Abstract ]
 
Peter Baumgartner and Ulrich Furbach.
Hyper Tableaux. Part I: Proof Procedure and Model Generation.
Dagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects, 1996. [ bib ]
 
Peter Baumgartner and Ulrich Furbach.
Hyper Tableaux and Disjunctive Logic Programming.
In ICLP 96 Workshop on Deductive Databases and Logic Programming, volume 295 of GMD Studien. GMD, 1996. [ bib | .pdf | Abstract ]
 
Artificial Intelligence Research Group.
Towards Merging Theorem Proving and Logic Programming Paradigms.
Proc. of the Poster Session at JICSLP '96, Editors: N. Fuchs and U. Geske, 1996.
GMD Studien Nr. 296. [ bib ]
 
Peter Baumgartner, Bernhard Beckert, and Michael Kühn.
Extending Hyper Tableaux with Rigid E-Unification.
In K. Prasser, editor, Workshop Deduktion, 20. Jahrestagung für künstliche Intelligenz, Zusammenfassungen, number WV-96-09 in Internal Reports, Fakultät Informatik, D01062 Dresden, 1996. Technische Universität Dresden. [ bib | .pdf | Abstract ]