@misc{indiciae8d66461d790f,
  title = {On Completeness of Cost Metrics and Meta-Search Algorithms in \$-Calculus},
  author = {Eugene Eberbach},
  year = {2023},
  url = {https://arxiv.org/abs/2106.15969},
  note = {Source identifier: 2106.15969}
}