| 2002 | ALT | Minimised Residue Hypotheses in Relevant Logic. | Bertram Fronhfer, Akihiro Yamamoto |
| 2000 | ALT | Hypotheses Finding via Residue Hypotheses with the Resolution Principle. | Akihiro Yamamoto, Bertram Fronhfer |
| 1997 | KI | Connection Cutting for Contraction Free Logic. | Bertram Fronhfer |
| 1996 | KI | Cyclic Rules in Linear Connection Proofs. | Bertram Fronhfer |
| 1996 | TABLEAUX | Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison. | Bertram Fronhfer |
| 1992 | JELIA | Linear Proofs and Linear Logic. | Bertram Fronhfer |
| 1989 | KI | Plan Generation by Linear Proofs: On Semantics. | Wolfgang Bibel, Luis Farias del Cerro, Bertram Fronhfer, Andreas Herzig |
| 1989 | KI | XPRTS - An Implementation Tool for Program Synthesis. | Gerd Neugebauer, Bertram Fronhfer, Christoph Kreitz |
| 1989 | WI | ALPES: A Programming Environment for Logic Programming. | Bertram Fronhfer, Ulrich Furbach |
| 1988 | AIMSA | Plan Schemes in PLANLOG. | Bertram Fronhfer |
| 1987 | IJCAI | PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming. | Bertram Fronhfer |
| 1987 | WI | ESPRIT Project P973 ALPES: Advanced Logical Programming Environments. | Bertram Fronhfer, Gerd Neugebauer |
| 1986 | KI | Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. | Bertram Fronhfer, Ulrich Furbach |
| 1984 | AIMSA | Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. | Ramn F. Brena, Ricardo Caferra, Bertram Fronhfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet |
| 1984 | KI | Improvement of Recursive Programs from a Logic Programming Point of View. | Bertram Fronhfer, Ricardo Caferra, Philippe Jacquet |
| 1983 | IJCAI | Towards an Advanced Implementation of the Connection Method. | Wolfgang Bibel, Elmar Eder, Bertram Fronhfer |