@misc{indiciaea2c0fae9c865,
  title = {PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)},
  author = {Marie-Christine Jakobs},
  year = {2021},
  url = {https://arxiv.org/abs/2101.09042},
  note = {Source identifier: 2101.09042}
}