Nominal rewriting systems (2004)

by M Fernández, M Gabbay, I Mackie
Venue:in: Proceedings of the 6th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP’04