@misc{indiciaed44a3a2822fb,
  title = {Execution traces and reduction sequences},
  author = {Gilles Dowek},
  year = {2023},
  url = {https://arxiv.org/abs/2304.05039},
  note = {Source identifier: 2304.05039}
}