Publication in BibTeX Format

@TECHREPORT{AICPub1468:1970,
  AUTHOR={Rulifson, Johns F.},
  TITLE={Preliminary Specification of the QA4 Language},
  ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={Apr},
  NUMBER={50},
  YEAR={1970},
  KEYWORDS={QA4, Artificial Intelligence, Problem Solving, Theorem Proving, Robot
     Planning},
  ABSTRACT={The long-term problem-solving effort of the Stanford Research Institute
     Artificial Intelligence project has been involved with the design and implementation
     of a general-purpose, formal problem-solving system. The current system, termed
     QA4, is based upon mechanized theorem proving in higher-order logic and emphasizes
     the role of semantic information and flexible control strategies. Two major
     applications of such a system are in the field of automatic program writing
     and in robot planning and problem solving. },
  NOTE={SRI Project 8259. The research reported here was sponsored by the Advanced
     Research Projects Agency and the National Aeronautics and Space Administration
     under Contract NAS12-2221. This note originally appeared as Section V of "Research
     and Applications–Artificial Intelligence," Interim scientific Report,
     Contract NAS12-221. }
}