| 1991 | Logic Programming with Bounded Quantifiers. | Andrei Voronkov |
| 1991 | Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. | Paul Tarau |
| 1991 | A Logical-Based Language for Feature Specification and Transmission Control. | Pascale Sbillot |
| 1991 | A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time. | Jurate Sakalauskaite |
| 1991 | A Declarative Debugging Environment for DATALOG. | Francesco Russo, Mirko Sancassani |
| 1991 | BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. | T. J. Reynolds, Petros Kefalas |
| 1991 | Logic Programming with Pseudo-Resolution. | David M. W. Powers |
| 1991 | Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic. | Regimantas Pliuskevicius |
| 1991 | Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula. | Aida Pliuskeviciene |
| 1991 | Free Deduction: An Analysis of "Computations" in Classical Logic. | Michel Parigot |
| 1991 | A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation. | Gustaf Neumann |
| 1991 | Deduction with Generalized Terms. | Vladimir S. Neiman |
| 1991 | Abstract Syntax and Logic Programming. | Dale Miller |
| 1991 | A Constructive Logic Approach to Database Theory. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1991 | FIDO: Finite Domain Consistency Techniques in Logic Programming. | Manfred Meyer, Hans-Gnther Hein, Jrg P. Mller |
| 1991 | Compiling Flang. | Andrei Mantsivoda, Vyacheslav Petukhin |
| 1991 | Processing of Ground Regular Terms in PROLOG. | Evgeny L. Kitaev |
| 1991 | Treating Enhanced Entity Relationship Models in a Declarative Style. | Norbert Kehrer, Gustaf Neumann |
| 1991 | On Abstracting the Procedural Behaviour of Logic Programs. | Gerda Janssens, Maurice Bruynooghe |
| 1991 | WAM Specification for Parallel Execution on SIMD Computer. | S. Ivanets, N. Ilinsky, M. Krylov |
| 1991 | Some Considerations on the Logic PfD. | Wiebe van der Hoek |
| 1991 | Safe Positive Induction in the Programming Logic TK. | Martin C. Henson |
| 1991 | A WAM Compilation Scheme. | Hans-Gnther Hein, Manfred Meyer |
| 1991 | Or-Parallel Prolog with Heuristic Task Distribution. | Wai-Keong Foong |
| 1991 | Prolog Semantics for Measuring Space Consumption. | Alexander Ja. Dikovsky |