Publication in BibTeX Format

@TECHREPORT{AICPub1471:1970,
  AUTHOR={Nilsson, Nils J.},
  TITLE={A Survey of the Literature on Problem-Solving Methods in Artificial Intelligence},
  ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={Feb},
  NUMBER={21},
  YEAR={1970},
  KEYWORDS={Problem Solving, Artificial Intelligence},
  ABSTRACT={Problem-solving methods using some sort of heuristically guided search
     process have been the subject of much research in Artificial Intelligence.
     This paper groups these problem-solving methods under three major headings:
     the State-Space Approach, the Problem-Reduction Approach, and the Formal-Logic
     Approach. Using this framework, a survey is presented of most of the important
     articles and books dealing with problem solving, game playing, and automatic
     theorem proving. The bibliography contains over 150 references.},
  NOTE={SRI Project 7024. This research was supported by the Office of Naval Research,
     Washington, D.C., under Contract N0014-68-C-266.}
}