TY  - RPRT
TI  - Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant
AU  - Jan A. Bergstra
AU  - Alban Ponse
AU  - Daan J. C. Staudt
PY  - 2018
DO  - 10.1080/11663081.2021.2010954
UR  - https://arxiv.org/abs/1810.02142
ID  - 1810.02142
ER  -