@misc{indiciae21a6c9f61741,
  title = {A system of inference based on proof search: an extended abstract},
  author = {Dale Miller},
  year = {2023},
  doi = {10.1109/lics56636.2023.10175827},
  url = {https://arxiv.org/abs/2307.12704},
  note = {Source identifier: 2307.12704}
}