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

Cached

Download Links

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