TY  - RPRT
TI  - Free cubic implication algebras
AU  - Colin Bailey
AU  - Joseph Oliveira
PY  - 2009
UR  - https://arxiv.org/abs/0902.0547
ID  - 0902.0547
ER  -