Nominal techniques in Isabelle/HOL. (2008)

by C Urban
Venue:Journal of Automated Reasoning.