An Equational Approach to Theorem Proving in First-Order Predicate Calculus

Kapur and Narendran. "An Equational Approach to Theorem Proving in First-Order Predicate Calculus." International Joint Conference on Artificial Intelligence, 1985. doi:10.1145/1012497.1012521

[Kapur and Narendran. "An Equational Approach to Theorem Proving in First-Order Predicate Calculus." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/kapur1985ijcai-equational/) doi:10.1145/1012497.1012521

@inproceedings{kapur1985ijcai-equational,
  title     = {{An Equational Approach to Theorem Proving in First-Order Predicate Calculus}},
  author    = {Kapur, Deepak and Narendran, Paliath},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {1146-1153},
  doi       = {10.1145/1012497.1012521},
  url       = {https://mlanthology.org/ijcai/1985/kapur1985ijcai-equational/}
}