@misc{indiciae2140d6cc7a46,
  title = {Verification of PCP-Related Computational Reductions in Coq},
  author = {Yannick Forster and Edith Heiter and Gert Smolka},
  year = {2018},
  doi = {10.1007/978-3-319-94821-8\_15},
  url = {https://arxiv.org/abs/1711.07023},
  note = {Source identifier: 1711.07023}
}