Closed nominal rewriting and efficiently computable nominal algebra equality. (2010)

by Maribel Fernández, Murdoch J Gabbay
Venue:In Proceedings of the 5th International Workshop on Logical Frameworks and Meta-Languages (LFMTP