Reversible Programming: A Case Study of Two String-Matching Algorithms - Glück, Robert; Yokoyama, Tetsuo (Electronic proceedings in theoretical computer science, 2022)