Alpha-prolog: A logic programming language with names, binding, and alpha-equivalence. (2004)

by J Cheney, C Urban
Venue:Logic Programming, 20th International Conference. Volume 3132 of LNCS.,