A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations

Alexandre Boudet, Evelyne Contejean, Herv Devie

Browse the full LICS paper archive.