Associative-Commutative Unification (1987)

by F Fages
Venue:Journal of Symbolic Computation