DBLP Record 'journals/jar/WosUF02'

BibTeX

@article{DBLP:journals/jar/WosUF02,
  author    = {Larry Wos and
               Dolph Ulrich and
               Branden Fitelson},
  title     = {Vanquishing the XCB Question: The Methodological Discovery
               of the Last Shortest Single Axiom for the Equivalential
               Calculus},
  journal   = {J. Autom. Reasoning},
  volume    = {29},
  number    = {2},
  year      = {2002},
  pages     = {107-124},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}