| 1996 | Interprocedural Register Allocation for the WAM based on Source to Source Transformations. | Ulrich Neumerkel |
| 1996 | A Declarative View of Modes. | Lee Naish |
| 1996 | Inferring Left-terminating Classes of Queries for Constraint Logic Programs. | Frdric Mesnard |
| 1996 | Applications of Efficient Lazy Set Expression (Poster Abstract). | Stefan Lttringhaus-Kappel, Dirk Schulz |
| 1996 | Boosting the Interval Narrowing Algorithm. | Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert |
| 1996 | A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. | Michael Leuschel, Danny De Schreye, D. Andre de Waal |
| 1996 | Visualizing Parallel Logic Program Execution for Performance Tuning. | Anthony J. Kusalik, Steven D. Prestwich |
| 1996 | Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract). | Thomas H. Kolbe |
| 1996 | Effectiveness of Optimizing Compilation for CLP(R). | Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap |
| 1996 | A General Framework for Integrating HCLP and PCSP (Poster Abstract). | Michael Jampel, Jean-Marie Jacquet, David R. Gilbert |
| 1996 | Declarative Logic Programming with Primitive Recursive Relations on Lists. | Andreas Hamfelt, Jrgen Fischer Nilsson |
| 1996 | Logic Programming and Databases Integrated at Last? (Poster Abstract). | Juliana Freire, Terrance Swift, David Scott Warren |
| 1996 | Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract). | Andreas Fordan, Ulrich Geske, Alexander Nareyek |
| 1996 | Complementation of Abstract Domains made Easy. | Gilberto Fil, Francesco Ranzato |
| 1996 | Demand Transformation Analysis for Concurrent Constraint Programs. | Moreno Falaschi, Patrick Hicks, William H. Winsborough |
| 1996 | A Compositional Semantics for Normal Open Programs. | Sandro Etalle, Frank Teusink |
| 1996 | Tracing Prolog without a Tracer (Poster Abstract). | Mireille Ducass, Jacques Noy |
| 1996 | Unification via Explicit Substitutions: The Case of Higher-Order Patterns. | Gilles Dowek, Thrse Hardin, Claude Kirchner, Frank Pfenning |
| 1996 | Colour Tagging for Prolog Visualization (Poster Abstract). | Michael Dobrohoczki, Anthony J. Kusalik, Eric Neufeld |
| 1996 | A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). | Pierre Deransart, Patrick Parot, Roberto da Silva Bigonha, Jos de Siqueira |
| 1996 | A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. | Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye |
| 1996 | An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. | Hendrik Decker |
| 1996 | Asserting Lemmas in the Stable Model Semantics. | Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco |
| 1996 | Diagnosing Non-Well-Moded Concurrent Logic Programs. | Kenta Cho, Kazunori Ueda |
| 1996 | Extremal Problems in Logic Programming and Stable Model Computation. | Pawel Cholewinski, Miroslaw Truszczynski |