James Cheney, Alberto Momigliano: Mechanized metatheory model-checking. PPDP 2007: 75-86