| 1989 | A Streamlined Temporal Completeness Theorem. | Ana Pasztor, Ildik Sain |
| 1989 | On the Representation of Data in Lambda-Calculus. | Michel Parigot |
| 1989 | New Ways for Developing Proof Theories for First-Order Multi Modal Logics. | Hans Jrgen Ohlbach |
| 1989 | Reducibility of Monotone Formulas to µ-Formulas. | Daniele Mundici |
| 1989 | A Predicate Calculus with Control of Derivations. | Daniel Mey |
| 1989 | Omega-Branching Programs of Bounded Width. | Christoph Meinel |
| 1989 | Deciding Horn Classes by Hyperresolution. | Alexander Leitsch |
| 1989 | Polymorphic Recursion and Semi-Unification. | Hans Lei |
| 1989 | Propositional Provability and Models of Weak Arithmetic. | Jan Krajcek, Pavel Pudlk |
| 1989 | Algebraic Operational Semantics and Occam. | Yuri Gurevich, Lawrence S. Moss |
| 1989 | On Logical Descriptions of Some Concepts in Structural Complexity Theory. | Erich Grdel |
| 1989 | Davis-Putnam Resolution versus Unrestricted Resolution. | Andreas Goerdt |
| 1989 | Effectively Given Information Systems and Domains. | Manfred Droste, Rdiger Gbel |
| 1989 | Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution. | Hendrik Decker, Lawrence Cavedon |
| 1989 | On Test Classes for Universal Theories. | Bernd I. Dahn |
| 1989 | The Complexity of Subtheories of the Existential Linear Theory of Reals. | Elias Dahlhaus |
| 1989 | Set-Theoretic Reductions of Hilbert's Tenth Problem. | Domenico Cantone, Vincenzo Cutello, Alberto Policriti |
| 1989 | A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control. | Egon Brger |
| 1989 | On the Verification of Modules. | Grigoris Antoniou, Volker Sperschneider |
| 1989 | Honest Polynomial-Time Degrees of Elementary Recursive Sets. | Klaus Ambos-Spies, Dongping Yang |
| 1988 | On the Emptiness Problem of Tree Automata and Completeness of Modal Logics of Programs. | Hubert Wagener |
| 1988 | A Remark on Minimal Polynomials of Boolean Functions. | Bernd Voigt, Ingo Wegener |
| 1988 | Enforcement of Integrity Constraints in a Semantic Data Model. | Norbert Sdkamp, Peter Kandzia |
| 1988 | Is Average Superlinear Speedup Possible? | Ewald Speckenmeyer |
| 1988 | Integration of Descriptive and Procedural Language Constructs. | Wolfgang Schnfeld, Werner Stephan |