| 1989 | On the Communication Complexity of Planarity. | Pavol Duris, Pavel Pudlk |
| 1989 | On Product Hierarchies of Automata. | Pl Dmsi, Zoltn sik, Balzs Imreh |
| 1989 | Separating Completely Complexity Classes Related to Polynomial Size Omega-Decision Trees. | Carsten Damm, Christoph Meinel |
| 1989 | Completeness in Approximation Classes. | Pierluigi Crescenzi, Alessandro Panconesi |
| 1989 | About Connections Between Syntactical and Computational Complexity. | Jean-Luc Coquid, Max Dauchet, Sophie Tison |
| 1989 | New Simulations between CRCW PRAMs. | Bogdan S. Chlebus, Krzysztof Diks, Torben Hagerup, Tomasz Radzik |
| 1989 | Recent Developments in the Design of Asynchronous Circuits. | Janusz A. Brzozowski, Jo C. Ebergen |
| 1989 | The Jump Number Problem for Biconvex Graphs and Rectangle Covers of Rectangular Regions. | Andreas Brandstdt |
| 1989 | The Distributed Bit Complexity of the Ring: From the Anonymous to the Non-anonymous Case. | Hans L. Bodlaender, Shlomo Moran, Manfred K. Warmuth |
| 1989 | The Equational Logic of Iterative Processes. | Stephen L. Bloom |
| 1989 | Generalized Boolean Hierarchies and Boolean Hierarchies Over RP (Conference Abstract). | Alberto Bertoni, Danilo Bruschi, Deborah Joseph, Meera Sitharam, Paul Young |
| 1989 | Interpretations of Synchronous Flowchart Schemes. | Mikls Bartha |
| 1989 | Complexity Classes with Complete Problems Between P and NP-C. | Carme lvarez, Josep Daz, Jacobo Torn |
| 1989 | On Word Equations and Makanin's Algorithm. | Habib Abdulrab, Jean-Pierre Pcuchet |
| 1989 | Logic Programming of Some Mathematical Paradoxes. | M. A. Nait Abdallah |
| 1989 | An Extended Framework for Default Reasoning. | M. A. Nait Abdallah |
| 1987 | On a Connection Between the Resolution Method and the Inverse Method. | N. K. Zamov |
| 1987 | The Analysis of Concurrent Logic Control Algorithms. | Arkadij Zakrevskij |
| 1987 | Theorem Proving in Intermediate and Modal Logics. | Michael Zakharyaschev |
| 1987 | To the Functional Equivalence of Turing Machines. | Vladimir A. Zakharov |
| 1987 | Complexity of the Problem of Approximation of Stochastic Matrix by Rational Elements. | V. M. Zacharov, S. E. Kuznetsov |
| 1987 | Deductive Program Synthesis and Markov's Principle. | Andrei Voronkov |
| 1987 | On Efficiency of Prefix Word-Encoding of Binary Messages. | E. G. Vorobyova |
| 1987 | To Automation of Theorem Sythesis. | S. N. Vassiljev |
| 1987 | On the Standard and Pseudostandard Star Height of Regular Sets. | P. I. Validov |