| 1990 | Non-Strict Independent And-Parallelism. | Manuel V. Hermenegildo, Francesca Rossi |
| 1990 | &-Prolog and its Performance: Exploiting Independent And-Parallelism. | Manuel V. Hermenegildo, K. J. Greene |
| 1990 | Incremental Constraint Satisfaction in Logic Programming. | Pascal Van Hentenryck |
| 1990 | An Extended RISC Methodology and its Application to FCP. | Arie Harsat, Ran Ginosar |
| 1990 | Kernel Andorra Prolog and its Computation Model. | Seif Haridi, Sverker Janson |
| 1990 | How Hard Is It to Reason about Propositional Programs? | David Harel |
| 1990 | Top-Down Integrity Constraint Checking for Deductive Databases. | Ulrike Griefahn, Stefan Lttringhaus |
| 1990 | Generalized Stable Models, Truth Maintenance and Conflict Resolution. | Laura Giordano, Alberto Martelli |
| 1990 | Pipeline Optimizations in AND-Parallel Logic Programs. | Roberto Giacobazzi, Laura Ricci |
| 1990 | Logic Programs with Classical Negation. | Michael Gelfond, Vladimir Lifschitz |
| 1990 | The Derivation of an Algorithm for Program Specialisation. | John P. Gallagher, Maurice Bruynooghe |
| 1990 | Semantics of Logic Programs. | Haim Gaifman |
| 1990 | Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. | Laurent Fribourg |
| 1990 | A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. | Franois Fages |
| 1990 | Efficient Parallel Term Matching and Anti-Unification. | Arthur L. Delcher, Simon Kasif |
| 1990 | Prolog III as it Actually Is. | Alain Colmerauer |
| 1990 | On Warren's Method for Functional Programming in Logic. | Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards |
| 1990 | Intensional Updates: Abduction via Deduction. | Franois Bry |
| 1990 | AND-Parallelism without Shared Variables. | Antonio Brogi |
| 1990 | Logic and Functional Programming on Distributed Memory Architecture. | Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso, Marisa Porta, Giorgio Sofi |
| 1990 | Logic Programming and Databases. | Catriel Beeri |
| 1990 | Acyclic Programs. | Krzysztof R. Apt, Marc Bezem |
| 1990 | Linear Objects in a Logic Processes with Built-in Inheritance. | Jean-Marc Andreoli, Remo Pareschi |
| 1989 | Solving Simple Substitution Ciphers in Andorra-I. | Rong Yang |
| 1989 | CLP(Sigma*): Constraint Logic Programming with Regular Sets. | Clifford Walinsky |