arXiv 2002-11-13 EN Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus Wos, Larry · Ulrich, Dolph · Fitelson, Branden
arXiv 2002-11-13 EN XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus Wos, Larry · Ulrich, Dolph · Fitelson, Branden
arXiv 2001-08-22 EN Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers Ratschan, Stefan
arXiv 2000-03-09 EN Linear Tabulated Resolution Based on Prolog Control Strategy Shen, Yi-Dong · Yuan, Li-Yan · You, Jia-Huai · Zhou, Neng-Fa
