@misc{indiciae5515b97ae9be,
  title = {A Comparison of Big-step Semantics Definition Styles},
  author = {Péter Bereczky and Dániel Horpácsi and Simon Thompson},
  year = {2020},
  url = {https://arxiv.org/abs/2011.10373},
  note = {Source identifier: 2011.10373}
}