@misc{indiciae5f53f137a753,
  title = {Memoized Pull-Tabbing for Functional Logic Programming},
  author = {Michael Hanus and Finn Teegen},
  year = {2020},
  url = {https://arxiv.org/abs/2008.11999},
  note = {Source identifier: 2008.11999}
}