TY  - RPRT
TI  - A system of inference based on proof search: an extended abstract
AU  - Dale Miller
PY  - 2023
DO  - 10.1109/lics56636.2023.10175827
UR  - https://arxiv.org/abs/2307.12704
ID  - 2307.12704
ER  -