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

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