@misc{indiciaea2b9837d7ed3,
  title = {Non-linear Pattern Matching with Backtracking for Non-free Data Types},
  author = {Satoshi Egi and Yuichi Nishiwaki},
  year = {2019},
  doi = {10.1007/978-3-030-02768-1\_1},
  url = {https://arxiv.org/abs/1808.10603},
  note = {Source identifier: 1808.10603}
}