A Complete Unification Algorithm for Associative-Commutative Functions.

Mark E. Stickel

Browse the full IJCAI paper archive.