Adventures in Associative-Commutative Unification (A Summary).

Patrick Lincoln, Jim Christian

Browse the full CADE paper archive.