TY  - RPRT
TI  - Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
AU  - Larry Wos
AU  - Dolph Ulrich
AU  - Branden Fitelson
PY  - 2002
UR  - https://arxiv.org/abs/cs/0211014
ID  - cs/0211014
ER  -