| 1999 | First Order Linear Temporal Logic over Finite Time Structures. | Serenella Cerrito, Marta Cialdea Mayer, Sbastien Praud |
| 1999 | Proofs About Lists Using Ellipsis. | Alan Bundy, Julian Richardson |
| 1999 | Solving Combinatorial Problems with Regular Local Search Algorithms. | Ramn Bjar, Felip Many |
| 1999 | Fucusing and Proof-Nets in Linear and Non-commutative Logic. | Jean-Marc Andreoli, Roberto Maieli |
| 1999 | A Partial Evaluation Framework for Curry Programs. | Elvira Albert, Mara Alpuente, Michael Hanus, Germn Vidal |
| 1994 | Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach. | Henk Vandecasteele, Danny De Schreye |
| 1994 | On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA. | Sergei Tupailo |
| 1994 | Multi-SLD Resolution. | Donald A. Smith, Timothy J. Hickey |
| 1994 | An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. | Dietmar Seipel |
| 1994 | A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues. | Paulo Quaresma, Jos Gabriel Lopes |
| 1994 | A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs. | Cristian Papp |
| 1994 | Proof Plans for the Correction of False Conjectures. | Ral Monroy, Alan Bundy, Andrew Ireland |
| 1994 | A Kind of Achievement by Parts Method. | Philippe Mathieu, Jean-Paul Delahaye |
| 1994 | A Generic Declarative Diagnoser for Normal Logic Programs. | Lunjin Lu |
| 1994 | RISC-CLP(CF) Constraint Logic Programming over Complex Functions. | Hoon Hong |
| 1994 | On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. | Philippe de Groote |
| 1994 | Higher-Order Rigid E-Unification. | Jean Goubault |
| 1994 | Program Tactics and Logic Tactics. | Fausto Giunchiglia, Paolo Traverso |
| 1994 | Generalization and Reuse of Tactic Proofs. | Amy P. Felty, Douglas J. Howe |
| 1994 | On the Value of Antiprenexing. | Uwe Egly |
| 1994 | Logical Closures. | Dominic Duggan |
| 1994 | Projection in Temporal Logic Programming. | Zhenhua Duan, Maciej Koutny, Chris Holt |
| 1994 | Higher-Order Abstract Syntax with Induction in Coq. | Jolle Despeyroux, Andr Hirschowitz |
| 1994 | Constraint Logic Programming in the Sequent Calculus. | John Darlington, Yike Guo |
| 1994 | Goal Dependent versus Goal Independent Analysis of Logic Programs. | Michael Codish, Maria J. Garca de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo |