%0 Journal Article %1 journals/jar/WosUF02 %A Wos, Larry %A Ulrich, Dolph %A Fitelson, Branden %D 2002 %J J. Autom. Reason. %K dblp %N 2 %P 107-124 %T Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. %U http://dblp.uni-trier.de/db/journals/jar/jar29.html#WosUF02 %V 29

@article{journals/jar/WosUF02, added-at = {2020-09-02T00:00:00.000+0200}, author = {Wos, Larry and Ulrich, Dolph and Fitelson, Branden}, biburl = {https://www.bibsonomy.org/bibtex/2b6a59f8ce677f84005d3247eb9d9e4a4/dblp}, ee = {https://doi.org/10.1023/A:1021693818601}, interhash = {da4bc8a0091c2ee72df40e62869b9352}, intrahash = {b6a59f8ce677f84005d3247eb9d9e4a4}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {107-124}, timestamp = {2020-09-09T13:35:11.000+0200}, title = {Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar29.html#WosUF02}, volume = 29, year = 2002 }