Nominal techniques in Isabelle/HOL (2005)

by C Urban, C Tasson
Venue:In 20th Conference on Automated Deduction