Complexity of unification problems with associativecommutative operators (1992)

by D Kapur, P Narendran
Venue:J. Automated Reasoning