Peter Baumgartner.
A Completeness Proof Technique for Resolution with Equality.
In Th. Christaller, editor, GWAI '91 -- 15. Fachtagung für Künstliche Intelligenz, pages 12--22. Springer, 1991.
Informatik Fachberichte 285. [ bib ]
 
Peter Baumgartner, S. Meggendorfer, and Z. Qiu.
Software Specification Methods from the Viewpoint of Reusability.
AI research report FKI--133--90, Technische Universität München, July 1990. [ bib ]
 
Peter Baumgartner.
Modelling Software Reuse with Predicate Logic.
Fachberichte Informatik 12/90, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1990. [ bib ]
 
Peter Baumgartner.
Combining Horn Clause Logic with Rewrite Rules.
In V. Sgurev Ph. Jorrand, editor, Artificial Intelligence IV -- Methodology, Systems, Applications. Norh Holland, 1990. [ bib ]
 
Peter Baumgartner.
Theorie und Implementierung eines kombinierten logischen und funktionalen Programmiersystems.
Master's thesis, Technische Universität München, 1988.
(In German). [ bib ]