Nominal unification, in: M. Baaz (Ed (2003)

by C Urban, A M Pitts, M J Gabbay
Venue:Computer Science Logic and 8th Kurt Gödel Colloquium (CSL’03 & KGC