@misc{indiciae48d67002c1b6,
  title = {Calculating a backtracking algorithm: an exercise in monadic program derivation},
  author = {Shin-Cheng Mu},
  year = {2021},
  url = {https://arxiv.org/abs/2101.09409},
  note = {Source identifier: 2101.09409}
}