Implementing nominal unification (0)

by Christophe Calvès, Maribel Fernández
Venue:ENTCS