@misc{W1541434994,
  author = {John W. Lloyd},
  title = {Foundations of Logic Programming},
  year = {1984},
  doi = {https://doi.org/10.1007/978-3-642-96826-6}
}