1. ELP 1989: Tübingen, Germany

• Jean-Marc Andreoli, Remo Pareschi:
  Logic Programming with Sequent Systems, A Linear Logic Approach. 1-30
  
• James H. Andrews:
  Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. 31-47
  
• Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger:
  A Survey of GCLA: A Definitional Approach to Logic Programming. 49-99
  
• Michael Beeson:
  Some Applications of Gentzen's Proof Theory in Automated Deduction. 101-156
  
• Amy P. Felty:
  A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs. 157-178
  
• Dov M. Gabbay:
  Modal Provability Foundations for Negation by Failure. 179-222
  
• Elsa L. Gunter:
  Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover. 223-244
  
• Jörg Hudelmaier:
  A Decision Procedure for Propositional N-Prolog. 245-251
  
• Dale Miller:
  A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. 253-281
  
• Lawrence C. Paulson, Andrew W. Smith:
  Logic Programming, Functional Programming, and Inductive Definitions. 283-309
  
• David Pearce, Gerd Wagner:
  Logic Programming with Strong Negation. 311-326
  
• Peter Schroeder-Heister:
  Hypothetical Reasoning and Definitional Reflection in Logic Programming. 327-339
  
• Antonius J. M. van Hoof, Jaap Hoepelman:
  Non-Moniotonic and Conditionals in Dialogue Logic. 341-364