Towards an Advanced Implementation of the Connection Method. - Wolfgang Bibel; Elmar Eder; Bertram Fronhöfer (IJCAI, 1983)

Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. - Ramon Brena; Ricardo Caferra; Bertram Fronhöfer; Christian Gresse; Philippe Jacquet; Marie-Laure Potet (AIMSA, 1984)

Improvement of Recursive Programs from a Logic Programming Point of View. - Bertram Fronhöfer; Ricardo Caferra; Philippe Jacquet (GWAI, 1984)

The LOPS-Approach: Towards New Syntheses of Algorithms. - Bertram Fronhöfer (ÖGAI, 1985)

Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. - Bertram Fronhöfer; Ulrich Furbach (GWAI, 1986)

PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming. - Bertram Fronhöfer (IJCAI, 1987)

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

Linearity and Plan Generation. - Bertram Fronhöfer (New Gener. Comput., 1987)

Plan Schemes in PLANLOG. - Bertram Fronhöfer (AIMSA, 1988)

Transformation systems for program synthesis: Knuth-Bendix completion and fold/unfold - Bertram Fronhöfer; Ulrich Furbach (Forschungsberichte, TU Munich, 1988)

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

Plan Generation by Linear Proofs: On Semantics. - Wolfgang Bibel; Luis Fariñas del Cerro; Bertram Fronhöfer; Andreas Herzig (GWAI, 1989)

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

ALPES: A Programming Environment for Logic Programming. - Bertram Fronhöfer; Ulrich Furbach (Wissensbasierte Systeme, 1989)

Default connections in a model planning framework - Bertram Fronhöfer (Forschungsberichte, TU Munich, 1989)

Implementing exception in inheritance by concept transforming actions. - Bertram Fronhöfer (Forschungsberichte, TU Munich, 1990)

Implementing Exceptions in Inheritance by Concept Transforming Actions. - Bertram Fronhöfer (AI*IA, 1991)

Default Connections in a Modal Planning Framework. - Bertram Fronhöfer (EWSP, 1991)

Linear Proofs and Linear Logic. - Bertram Fronhöfer (JELIA, 1992)

The action-as-implication paradigm - formal systems and application. - Bertram Fronhöfer (CS Press, 1996)

Cyclic Rules in Linear Connection Proofs. - Bertram Fronhöfer (KI, 1996)

Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison. - Bertram Fronhöfer (TABLEAUX, 1996)

Connection Cutting for Contraction Free Logic. - Bertram Fronhöfer (KI, 1997)

Hypotheses Finding via Residue Hypotheses with the Resolution Principle. - Akihiro Yamamoto; Bertram Fronhöfer (ALT, 2000)

Proof Structures and Matrix Graphs. - Bertram Fronhöfer (Intellectics and Computational Logic, 2000)

Minimised Residue Hypotheses in Relevant Logic. - Bertram Fronhöfer; Akihiro Yamamoto (ALT, 2002)

A Theory of Hypothesis Finding in Clausal Logic. - Akihiro Yamamoto; Bertram Fronhöfer (Progress in Discovery Science, 2002)

Completing Incomplete Bayesian Networks. - Manfred Schramm; Bertram Fronhöfer (WCII, 2002)

Probabilistic Aspects of Score Systems. - Manfred Schramm; Bertram Fronhöfer (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2003)

Hypothesis finding with proof theoretical appropriateness criteria. - Bertram Fronhöfer; Akihiro Yamamoto (Theor. Comput. Sci., 2006)