Nominal Techniques in Isabelle/HOL (2005)

by C Urban, C Tasson
Venue:In Proceedings of the 20th International Conference on Automated Deduction (CADE), volume 3632 of LNCS