@misc{indiciae44c1a22b23f7,
  title = {Reversible Programming: A Case Study of Two String-Matching Algorithms},
  author = {Robert Glück and Tetsuo Yokoyama},
  year = {2022},
  doi = {10.4204/eptcs.373.1},
  url = {https://arxiv.org/abs/2211.12225},
  note = {Source identifier: 2211.12225}
}