A.: Mechanized metatheory model-checking (2007)

by J Cheney, Momigliano
Venue:In: Proceedings of the ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming