On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). - Chandrabose Aravindan; Peter Baumgartner 001; Jürgen Dix; Ulrich Furbach; Gerd Neugebauer; Ilkka Niemelä; Dorothea Schäfer; Frieder Stolzenburg (JICSLP, 1996)

Deduktion und Logisches Programmieren. - Peter Baumgartner 001; Jürgen Dix; Ulrich Furbach; Dorothea Schäfer; Frieder Stolzenburg (Künstliche Intell., 1996)

GLUE: Opening the World to Theorem Provers. - Gerd Neugebauer; Dorothea Schäfer (LPNMR, 1997)

Model Elimination with Simplification and its Application to Software Verification. - Peter Baumgartner 001; Dorothea Schäfer (Tool Support for System Specification, Development and Verification, 1998)