P.: Complexity of Unification Problems with AssociativeCommutative Operators (1992)

by D Kapur, Narendran
Venue:J. Autom. Reasoning