TY  - RPRT
TI  - Boolean subalgebras of orthoalgebras
AU  - John Harding
AU  - Chris Heunen
AU  - Bert Lindenhovius
AU  - Mirko Navara
PY  - 2018
DO  - 10.1007/s11083-019-09483-6
UR  - https://arxiv.org/abs/1711.03748
ID  - 1711.03748
ER  -