@misc{W4206370914,
  author = {John W. Lloyd},
  title = {Foundations of Logic Programming},
  year = {1987},
  doi = {https://doi.org/10.1007/978-3-642-83189-8}
}