A Certified Algorithm for AC-Unification.

Mauricio Ayala-Rincn, Maribel Fernndez, Gabriel Ferreira Silva, Daniele Nantes Sobrinho

Browse the full FSCD paper archive.