Implementing nominal unification. (2007)

by C Calves, M Fernandez
Venue:Electronic Notes in Theoretical Computer Science