1. ELP 1989: Tübingen, Germany

@proceedings{DBLP:conf/elp/1989,
  editor    = {Peter Schroeder-Heister},
  title     = {Extensions of Logic Programming, International Workshop, T{\"u}bingen,
               FRG, December 8-10, 1989, Proceedings},
  booktitle = {ELP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {475},
  year      = {1991},
  isbn      = {3-540-53590-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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