Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus (2002)

by Larry Wos , Dolph Ulrich , Branded Fitelson
Venue:J. Automated Reasoning
Citations:1 - 1 self