Nominal techniques in Isabelle/HOL (2008)

by C Urban
Venue:Journal of Automatic Reasoning