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

by James Cheney, Christian Urban
Venue:In Proc. of the 20 th Int. Conf. on Logic Programming, ICLP’04, LNCS