TY  - RPRT
TI  - XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
AU  - Larry Wos
AU  - Dolph Ulrich
AU  - Branden Fitelson
PY  - 2002
UR  - https://arxiv.org/abs/cs/0211015
ID  - cs/0211015
ER  -