@incollection{Green:1969,
  abstract = {This paper shows how a question-answering system can be constructed using first-order logic as its language and a resolution-type theorem-prover as its deductive mechanism. A working computer program, QA3, based on these ideas is described. The performance of the program compares favorably with several other general question-answering systems.},
  added-at = {2007-12-14T02:39:32.000+0100},
  author = {Green, Cordell},
  biburl = {http://www.bibsonomy.org/bibtex/20980ffdcd2f500951a41509f27b9da4a/diego_ma},
  booktitle = {Machine Intelligence},
  chapter = 11,
  editor = {Meltzer, Bernard and Michie, Donald},
  interhash = {2c189470606315e97417fd4150264c08},
  intrahash = {0980ffdcd2f500951a41509f27b9da4a},
  keywords = {question_answering logic},
  pages = {183-205},
  publisher = {Edinburgh University Press},
  timestamp = {2007-12-14T02:39:32.000+0100},
  title = {Theorem-Proving by Resolution as a Basis for Question-Answering Systems},
  volume = 4,
  year = 1969
}