@misc{W2108911687,
  author = {M. H. van Emden and Robert Kowalski},
  title = {The Semantics of Predicate Logic as a Programming Language},
  year = {1976},
  howpublished = {Journal of the ACM},
  doi = {https://doi.org/10.1145/321978.321991}
}