2.ELP 1991: Stockholm, Sweden

Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister (Eds.): Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings. Lecture Notes in Computer Science 596 Springer 1992, ISBN 3-540-55498-X BibTeX

@proceedings{DBLP:conf/elp/1991,
  editor    = {Lars-Henrik Eriksson and
               Lars Halln{\"a}s and
               Peter Schroeder-Heister},
  title     = {Extensions of Logic Programming, Second International Workshop,
               ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings},
  booktitle = {ELP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {596},
  year      = {1992},
  isbn      = {3-540-55498-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Martin Aronsson: Methodology and Programming Techniques in GCLA II. 1-44 BibTeX
Harold Boley: Extended Logic-plus-Functional Programming. 45-72 BibTeX
Antonio Brogi, Evelina Lamma, Paola Mello: Open Logic Theories. 73-88 BibTeX
Lars-Henrik Eriksson: A Finitary Version of the Calculus of Partial Inductive Defintions. 89-134 BibTeX
Amy P. Felty: A Logic Programming Approach to Implementing Higher-Order Term Rewriting. 135-161 BibTeX
Torkel Franzén, Seif Haridi, Sverker Janson: An Overview of the Andorra Kernel Language. 163-179 BibTeX
Lars Hallnäs: Logical and Computational Invariants of Programs. 181-191 BibTeX
John Hannan: Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages. 193-219 BibTeX
Philipp Hanschke: Terminological Reasoning and Partial Inductive Definitions. 221-237 BibTeX
Per Kreuger: GCLA II - A Definitional Approach to Control. 239-297 BibTeX
Spiro Michaylov, Frank Pfenning: Natural Semantics and Some of Its Meta-Theory in Elf. 299-344 BibTeX
David W. Reed, Donald W. Loveland, Bruce T. Smith: The Near-Horn Approach to Disjunctive Logic Programming. 345-369 BibTeX