Mechanized metatheory model-checking (2007)

by James Cheney, Alberto Momigliano
Venue:In PPDP ’07: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming