αCheck: A mechanized metatheory model checker

James Cheney, Alberto Momigliano. αCheck: A mechanized metatheory model checker. TPLP, 17(3):311-352, 2017. [doi]

Abstract

Abstract is missing.