Book Chapter
Logic programming, functional programming, and inductive definitions
Lawrence C. Paulson and Andrew W. Smith
Lecture Notes in Computer Science, 1991, Volume 475, Extensions of Logic Programming, Pages 283-309
Book Chapter
Regular search spaces as a foundation of logic programming
Alberto Momigliano and Mario Ornaghi
Lecture Notes in Computer Science, 1994, Volume 798, Extensions of Logic Programming, Pages 222-254
Book Chapter
Hypothetical reasoning and definitional reflection in logic programming
Peter Schroeder-Heister
Lecture Notes in Computer Science, 1991, Volume 475, Extensions of Logic Programming, Pages 327-339
Book Chapter
A Strong Logic Programming View for Static Embedded Implications
R. Arruabarrena, P. Lucio and M. Navarro
Lecture Notes in Computer Science, 1999, Volume 1578, Foundations of Software Science and Computation Structures, Page 642
Book Chapter
The implementation of CondLP
Claudia M. G. M. Oliveira
Lecture Notes in Computer Science, 1996, Volume 1085, Practical Reasoning, Pages 713-715
Book Chapter
Hypothetical datalog: Complexity and expressibility
Anthony J. Bonner
Lecture Notes in Computer Science, 1988, Volume 326, ICDT '88, Pages 144-160
Journal Article
N-Prolog and equivalence of logic programs
Nicola Olivetti and Lea Terracini
Journal of Logic, Language and Information, 1992, Volume 1, Number 4, Pages 253-340
Book Chapter
Extending deductive database languages by embedded implications
Burkhard Freitag
Lecture Notes in Computer Science, 1992, Volume 624, Logic Programming and Automated Reasoning, Pages 84-95
Journal Article
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication
Dov M. Gabbay and Nicola Olivetti
Studia Logica, 1998, Volume 61, Number 2, Pages 237-280
Journal Article
DWAM — A WAM model extension for disjunctive logic programming
A. Rajasekar and H. Yusuf
Annals of Mathematics and Artificial Intelligence, 1995, Volume 14, Numbers 2-4, Pages 275-308