Adventures in Associative-Commutative Uni cation (1989)

by P Lincoln, J Christian
Venue:J. of Symbolic Computation