@misc{W31561947,
  author = {John W. Lloyd},
  title = {Foundations of logic programming; (2nd extended ed.)},
  year = {1987},
  howpublished = {Springer eBooks}
}