A Certified Functional Nominal C-Unification Algorithm.

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

Browse the full LOPSTR paper archive.