Mechanized metatheory model-checking.

James Cheney, Alberto Momigliano

Browse the full PPDP paper archive.