Stickel. "A Complete Unification Algorithm for Associative-Commutative Functions." International Joint Conference on Artificial Intelligence, 1975. doi:10.21236/ada015846
Markdown
[Stickel. "A Complete Unification Algorithm for Associative-Commutative Functions." International Joint Conference on Artificial Intelligence, 1975.](https://mlanthology.org/ijcai/1975/stickel1975ijcai-complete/) doi:10.21236/ada015846
BibTeX
@inproceedings{stickel1975ijcai-complete,
title = {{A Complete Unification Algorithm for Associative-Commutative Functions}},
author = {Stickel, Mark E.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1975},
pages = {71-76},
doi = {10.21236/ada015846},
url = {https://mlanthology.org/ijcai/1975/stickel1975ijcai-complete/}
}