| |
| 2002 | ||
|---|---|---|
| 4 | EE | Larry Wos, Dolph Ulrich, Branden Fitelson: Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus CoRR cs.LO/0211014: (2002) |
| 3 | EE | Larry Wos, Dolph Ulrich, Branden Fitelson: XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus CoRR cs.LO/0211015: (2002) |
| 2 | Larry Wos, Dolph Ulrich, Branden Fitelson: Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. J. Autom. Reasoning 29(2): 107-124 (2002) | |
| 2001 | ||
| 1 | Dolph Ulrich: A Legacy Recalled and a Tradition Continued. J. Autom. Reasoning 27(2): 97-122 (2001) | |
| 1 | Branden Fitelson | [2] [3] [4] |
| 2 | Larry Wos | [2] [3] [4] |