| 1995 | Memoing Evaluation by Source-to-Source Transformation. | Jens E. Wunderwald |
| 1995 | Solving Deductive Planning Problems Using Program Analysis and Transformation. | D. Andre de Waal, Michael Thielscher |
| 1995 | An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations. | Wamberto Weber Vasconcelos, Norbert E. Fuchs |
| 1995 | An Argumentation-Theoretic Approach to Logic Program Transformation. | Francesca Toni, Robert A. Kowalski |
| 1995 | Ideal Refinement of Datalog Programs. | Giovanni Semeraro, Floriana Esposito, Donato Malerba |
| 1995 | Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion. | Sophie Renault |
| 1995 | Logic Program Synthesis by Induction over Horn Clauses. | Andrew J. Parkes, Geraint A. Wiggins |
| 1995 | Towards Automatic Control for CLP(x) Programs. | Frdric Mesnard |
| 1995 | Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints. | Michael Leuschel |
| 1995 | Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1995 | Guiding Program Development Systems by a Connection Based Proof Strategy. | Christoph Kreitz, Jens Otten, Stephan Schmitt |
| 1995 | Efficient Translation of Lazy Functional Logic Programs into Prolog. | Michael Hanus |
| 1995 | Derivation of Concurrent Algorithms in Tempo. | Steve Gregory |
| 1995 | On the Mechanics of Metasystem Hierarchies in Program Transformation. | Robert Glck |
| 1995 | Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. | Mara-del-Mar Gallardo, Jos M. Troya |
| 1995 | Logic Program Transformation through Generalization Schemata. | Pierre Flener, Yves Deville |
| 1995 | Transformation of Left Terminating Programs: the Reordering Problem. | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
| 1995 | Termination of Logic Programs Using Semantic Unification. | Thomas Arts, Hans Zantema |
| 1995 | Complexity of Horn Programs. | Erik Aarts |
| 1994 | Improving the Whelk System: A Type-Theoretic Reconstruction. | Geraint A. Wiggins |
| 1994 | Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. | Jan Treur |
| 1994 | Logic Programming and Logic Grammars with First-Order Continuations. | Paul Tarau, Vernica Dahl |
| 1994 | Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. | Christine Solnon, Michel Rueher |
| 1994 | Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL. | Giovanni Semeraro, Floriana Esposito, Donato Malerba, Clifford Brunk, Michael J. Pazzani |
| 1994 | Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. | Chiaki Sakama, Hirohisa Seki |