TY  - RPRT
TI  - $α$Check: A mechanized metatheory model-checker
AU  - James Cheney
AU  - Alberto Momigliano
PY  - 2017
DO  - 10.1017/s1471068417000035
UR  - https://arxiv.org/abs/1704.00617
ID  - 1704.00617
ER  -