@misc{indiciae67f8655361b2,
  title = {\$α\$Check: A mechanized metatheory model-checker},
  author = {James Cheney and Alberto Momigliano},
  year = {2017},
  doi = {10.1017/s1471068417000035},
  url = {https://arxiv.org/abs/1704.00617},
  note = {Source identifier: 1704.00617}
}