| 1991 | A Generic Abstract Interpretation Algorithm and its Complexity Analysis. | Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck |
| 1991 | Applications of Constraints Logic Programming Languages. | Jean-Jacques Chabrier, Claudine Pradelles, Bruno Legeard |
| 1991 | Explaining SLDNF Resolution with Non-Normal Defaults. | Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro |
| 1991 | Theory Construction in Computational Logic. | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini |
| 1991 | Nave Reverse Can be Linear. | Pascal Brisset, Olivier Ridoux |
| 1991 | An Efficient Binding Management in OR-Parallel Model. | H. Bourzoufi, Gilles Goncalves, Pierre Lecouffe, Bernard Toursel |
| 1991 | On Transactions in Logic Programming Languages. | Stefan Bttcher |
| 1991 | An OR-Compositional Semantics for Logic Programs. | Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1991 | Blackboard Communication in Prolog. | Koenraad De Bosschere |
| 1991 | Scheduling Strategies and Speculative Work. | Anthony Joseph Beaumont |
| 1991 | Incremental Consistency Maintenance for Interactive Applications. | Robert A. Ballance, Susan L. Graham |
| 1991 | The Pandora Abstract Machine: An Extension of JAM. | Reem Bahgat |
| 1991 | Perfect Model Semantics for Logic Programs with Equality. | Leo Bachmair, Harald Ganzinger |
| 1991 | Performance of Muse on the BBN Butterfly TC2000. | Khayri A. M. Ali, Roland Karlsson, Shyam Mudambi |
| 1991 | Scheduling Or-Parallelism in Muse. | Khayri A. M. Ali, Roland Karlsson |
| 1991 | Warren's Abstract Machine. | Hassan At-Kaci |
| 1991 | Overview of the CHIP Compiler System. | Abderrahmane Aggoun, Nicolas Beldiceanu |
| 1990 | A Matching Tree Oriented Abstract Machine for Prolog. | Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima |
| 1990 | Generation and Compilation of Efficient Computation Rules. | Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe |
| 1990 | Global Optimization Problems for Database Logic Programs. | Moshe Y. Vardi |
| 1990 | A New Implementation Technique for Flat GHC. | Kazunori Ueda, Masao Morita |
| 1990 | LIPS on a MIPS: Results from a Prolog Compiler for a RISC. | Andrew Taylor |
| 1990 | Logical Diagnosis of LDL Programs. | Oded Shmueli, Shalom Tsur |
| 1990 | Incremental Re-evaluation of LDL Queries. | Oded Shmueli, Shalom Tsur |
| 1990 | HIFUNLOG : Logic Programming with Higher-order Relational Functions. | Yeh-Heng Sheng |