Equality Reasoning in Clause Graphics

Bläsius. "Equality Reasoning in Clause Graphics." International Joint Conference on Artificial Intelligence, 1983.

[Bläsius. "Equality Reasoning in Clause Graphics." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/blasius1983ijcai-equality/)

@inproceedings{blasius1983ijcai-equality,
  title     = {{Equality Reasoning in Clause Graphics}},
  author    = {Bläsius, Karl-Hans},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {936-939},
  url       = {https://mlanthology.org/ijcai/1983/blasius1983ijcai-equality/}
}