Nominal unification (2003)

by C Urban, A M Pitts, M J Gabbay
Venue:In Proc. CSL’03 & KGC, volume 2803 of LNCS