TY  - RPRT
TI  - Finite Implication Algebras
AU  - Colin Bailey
AU  - Joseph Oliveira
PY  - 2009
UR  - https://arxiv.org/abs/0902.0175
ID  - 0902.0175
ER  -