| 1996 | Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings Maurizio Proietti |
| 1995 | An Argumentation-Theoretic Approach to Logic Program Transformation. Francesca Toni, Robert A. Kowalski |
| 1995 | An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations. Wamberto Weber Vasconcelos, Norbert E. Fuchs |
| 1995 | Complexity of Horn Programs. Erik Aarts |
| 1995 | Derivation of Concurrent Algorithms in Tempo. Steve Gregory |
| 1995 | Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints. Michael Leuschel |
| 1995 | Efficient Translation of Lazy Functional Logic Programs into Prolog. Michael Hanus |
| 1995 | Guiding Program Development Systems by a Connection Based Proof Strategy. Christoph Kreitz, Jens Otten, Stephan Schmitt |
| 1995 | Ideal Refinement of Datalog Programs. Giovanni Semeraro, Floriana Esposito, Donato Malerba |
| 1995 | Logic Program Synthesis by Induction over Horn Clauses. Andrew J. Parkes, Geraint A. Wiggins |
| 1995 | Logic Program Transformation through Generalization Schemata. Pierre Flener, Yves Deville |
| 1995 | Memoing Evaluation by Source-to-Source Transformation. Jens E. Wunderwald |
| 1995 | On the Mechanics of Metasystem Hierarchies in Program Transformation. Robert Glück |
| 1995 | Solving Deductive Planning Problems Using Program Analysis and Transformation. D. Andre de Waal, Michael Thielscher |
| 1995 | Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. María-del-Mar Gallardo, José M. Troya |
| 1995 | Termination of Logic Programs Using Semantic Unification. Thomas Arts, Hans Zantema |
| 1995 | Towards Automatic Control for CLP(x) Programs. Frédéric Mesnard |
| 1995 | Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion. Sophie Renault |
| 1995 | Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. Kung-Kiu Lau, Mario Ornaghi |
| 1995 | Transformation of Left Terminating Programs: the Reordering Problem. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |