%0 Conference Paper %1 conf/ijcai/Stickel75 %A Stickel, Mark E. %B IJCAI %D 1975 %K dblp %P 71-76 %T A Complete Unification Algorithm for Associative-Commutative Functions. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai75.html#Stickel75

@inproceedings{conf/ijcai/Stickel75, added-at = {2019-08-20T00:00:00.000+0200}, author = {Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/2e08256757f17d9289391aa018b21493e/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1975}, ee = {http://ijcai.org/Proceedings/75/Papers/011.pdf}, interhash = {4951d1f178a60d61174c7c9b6a5a2c2c}, intrahash = {e08256757f17d9289391aa018b21493e}, keywords = {dblp}, pages = {71-76}, timestamp = {2019-08-21T11:55:01.000+0200}, title = {A Complete Unification Algorithm for Associative-Commutative Functions.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai75.html#Stickel75}, year = 1975 }