Larry Wos, Dolph Ulrich, Branden Fitelson Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:29, n:2, pp:107-124 [Journal]