Foundations of Logic Programming

   page       BibTeX_logo.png   
John W. Lloyd
Springer
1984