Associative-commutative unification (1984)

by F Fagès
Venue:7th Int. Conf. on Automated Deduction (CADE