TY  - RPRT
TI  - On linear rewriting systems for Boolean logic and some applications to proof theory
AU  - Anupam Das
AU  - Lutz Straßburger
PY  - 2016
DO  - 10.2168/lmcs-12(4:9)2016
UR  - https://arxiv.org/abs/1610.08772
ID  - 1610.08772
ER  -