Associative-commutative uni cation (1987)

by F Fages
Venue:J. of Symbolic Computation