Goolsbey07'

BibTeX

@inproceedings{DBLP:conf/cade/Goolsbey07,
  author    = {Keith Goolsbey},
  title     = {Invited talk: Cyc Design Challenges and Solutions},
  booktitle = {ESARLT},
  year      = {2007},
  ee        = {http://ceur-ws.org/Vol-257/06_Goolsbey.pdf},
  crossref  = {DBLP:conf/cade/2007esarlt},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cade/2007esarlt,
  editor    = {Geoff Sutcliffe and
               Josef Urban and
               Stephan Schulz},
  title     = {Proceedings of the CADE-21 Workshop on Empirically Successful
               Automated Reasoning in Large Theories, Bremen, Germany,
               17th July 2007},
  booktitle = {ESARLT},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {257},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}