Foundations of Logic Programming

@book{lloyd-lpbook1984,
   apice = {LloydLpbook1984},
   author = {Lloyd, John W.},
   doi = {10.1007/978-3-642-96826-6},
   edition = {1st},
   isbn = {3-540-13299-6},
   publisher = {Springer},
   title = {Foundations of Logic Programming},
   url = {https://link.springer.com/10.1007/978-3-642-96826-6},
   year = 1984
}