| 1994 | Generalizing Extended Execution for Normal Programs. | Sophie Renault |
| 1994 | Logic Programs with Tests. | Marion Mircheva |
| 1994 | Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. | Emmanuil I. Marakakis, John P. Gallagher |
| 1994 | Partial Evaluation of the "Real Thing". | Michael Leuschel |
| 1994 | On Specification Frameworks and Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1994 | Formal Semantics of Temporal Epistemic Reflection. | Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur |
| 1994 | A Module System for Meta-Programming. | Patricia M. Hill |
| 1994 | A Model of Costs and Benefits of Meta-Level Computation. | Frank van Harmelen |
| 1994 | Introspective Metatheoretic Reasoning. | Fausto Giunchiglia, Alessandro Cimatti |
| 1994 | Transforming Specifications of Observable Behaviour into Programs. | David R. Gilbert, Christopher J. Hogger, Jir Zlatuska |
| 1994 | On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. | Pierre Flener, Lubos Popelnsk |
| 1994 | An Architecture with Multiple Meta-Levels for the Development of Correct Programs. | Barbara Dunin-Keplicz |
| 1994 | A Transformation System for Definite Programs Based on Termination Analysis. | J. Cook, John P. Gallagher |
| 1994 | Abstract Debugging of Logic Program. | Marco Comini, Giorgio Levi, Giuliana Vitiello |
| 1994 | Gdel as a Meta-Language for Composing Logic Programs. | Antonio Brogi, Simone Contiero |
| 1994 | Using Call/Exit Analysis for Logic Program Transformation. | Dmitri Boulanger, Maurice Bruynooghe |
| 1994 | More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. | Annalisa Bossi, Sandro Etalle |
| 1994 | An Extended Transformation System for CLP Programs. | Nacra Bensaou, Irne Guessarian |
| 1994 | Logic Frameworks for Logic Programs. | David A. Basin |
| 1994 | A Basis for a Multi-Level Meta-Logic Programming Language. | Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua |
| 1994 | Building Proofs in Context. | Giuseppe Attardi, Maria Simi |
| 1993 | The Power of Partial Evaluation. | D. Andre de Waal |
| 1993 | Designing Prolog Programming Techniques. | Wamberto Weber Vasconcelos |
| 1993 | Combining Prolog Programs in a Techniques Editing System (Abstract). | Maria Vargas-Vera, David Stuart Robertson, Robert Inder |
| 1993 | Memoing with Abstract Answers and Delphi Lemmas. | Paul Tarau, Koenraad De Bosschere |