Foundations of Inductive Logic Programming
Logic Programming: A Classified Bibliography
Foundations of Equational Logic Programming (Lecture Notes in Computer Science, 353)
Foundations of Logic Programming (Symbolic Computation)
Logic of Computation
A Tight, Practical Integration of Relations and Functions
Berechnungstheorie für Informatiker
Logic Grammars (Symbolic Computation)
Multiprocessor Execution of Logic Programs
Logic Program Synthesis from Incomplete Information
