TY  - RPRT
TI  - A Subatomic Proof System for Decision Trees
AU  - Chris Barrett
AU  - Alessio Guglielmi
PY  - 2022
DO  - 10.1145/3545116
UR  - https://arxiv.org/abs/2105.01382
ID  - 2105.01382
ER  -