ESPRIT Project P973 ALPES: Advanced Logical Programming Environments. - Bertram Fronhöfer; Gerd Neugebauer (Wissensbasierte Systeme, 1987)

Logic oriented program synthesis - Christoph Kreitz; Gerd Neugebauer; Bertram Fronhöfer (Forschungsberichte, TU Munich, 1988)

XPRTS - An Implementation Tool for Program Synthesis. - Gerd Neugebauer; Bertram Fronhöfer; Christoph Kreitz (GWAI, 1989)

Pragmatische Programmsynthese. - Gerd Neugebauer (Infix Verlag, St. Augustin, Germany, 1992)

The LOPS Approach: A Transformational Point of View (Extended Abstract). - Gerd Neugebauer (LOPSTR, 1992)

Reachability Analysis for the Extension Procedure - A Topological Result. - Gerd Neugebauer (LOPSTR, 1993)

Specifications of Inference Rules and Their Automatic Translation. - Gerd Neugebauer; Uwe Petermann (TABLEAUX, 1995)

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)

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