TY  - RPRT
TI  - Subatomic Proof Systems: Splittable Systems
AU  - Andrea Aler Tubella
AU  - Alessio Guglielmi
PY  - 2017
DO  - 10.1145/3173544
UR  - https://arxiv.org/abs/1703.10258
ID  - 1703.10258
ER  -