@misc{W2012170877,
  title = {Logical Foundations of Artificial Intelligence},
  year = {1987},
  howpublished = {Elsevier eBooks},
  doi = {https://doi.org/10.1016/c2009-0-27551-9}
}