Alexandre Boudet Evelyne Contejean "Syntactic" AC-Unification. 136-151 1994 conf/ccl/1994 CCL db/conf/ccl/ccl94.html#BoudedC94