Publication in BibTeX Format

@TECHREPORT{AICPub1478:1971,
  AUTHOR={Rulifson, Johns F.},
  TITLE={QA4 Programming Concepts},
  ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={Aug},
  NUMBER={60},
  YEAR={1971},
  KEYWORDS={QA4, Theorem Proving, Problem Solving},
  ABSTRACT={The QA4 programming language is designed for the writing of theorem-provers,
     robot planners, and problem solvers. The language permits the specification
     of ambiguous, unorganized programs that solve problems mainly through the use
     of expression transformation programs that are guided by semantic and pragmatic
     information. This note presents an informal introduction to the unusual programming
     concepts used in the construction of such problem-solving programs.},
  NOTE={SRI Project 8721. The research reported herein was sponsored by the National
     Aeronautics and Space Administration under Contract NASW-2086.}
}