Theorem Proving with Structure Sharing and Efficient Unification

Martelli and Montanari. "Theorem Proving with Structure Sharing and Efficient Unification." International Joint Conference on Artificial Intelligence, 1977.

[Martelli and Montanari. "Theorem Proving with Structure Sharing and Efficient Unification." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/martelli1977ijcai-theorem/)

@inproceedings{martelli1977ijcai-theorem,
  title     = {{Theorem Proving with Structure Sharing and Efficient Unification}},
  author    = {Martelli, Alberto and Montanari, Ugo},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {543},
  url       = {https://mlanthology.org/ijcai/1977/martelli1977ijcai-theorem/}
}