Theorem Proving by Covering Expressions

Henschen and Evangelist. "Theorem Proving by Covering Expressions." International Joint Conference on Artificial Intelligence, 1977. doi:10.1145/322139.322140

[Henschen and Evangelist. "Theorem Proving by Covering Expressions." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/henschen1977ijcai-theorem/) doi:10.1145/322139.322140

@inproceedings{henschen1977ijcai-theorem,
  title     = {{Theorem Proving by Covering Expressions}},
  author    = {Henschen, Lawrence J. and Evangelist, W. M.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {541-542},
  doi       = {10.1145/322139.322140},
  url       = {https://mlanthology.org/ijcai/1977/henschen1977ijcai-theorem/}
}