Publication in BibTeX Format

@TECHREPORT{AICPub1456:1969,
  AUTHOR={Fikes, Richard E.},
  TITLE={REF-ARF: A System for Solving Problems Stated as Procedures},
  ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={Sept},
  NUMBER={14},
  YEAR={1969},
  KEYWORDS={Problem Solving},
  ABSTRACT={We wish to describe here our efforts to pursue the development of computer
     programs capable of displaying intelligent problem-solving behavior. Our pursuit
     has proceeded in an experimental mode in that we have written and debugged
     a program which embodies our ideas and have used our experience with the program
     to motivate and develop new ideas. This paper is both a description of the
     program and a discussion of those ideas and issues from the project which seem
     important to us at the time. If we are given a particular problem to solve,
     then the value of a problem-solving program to us is related to the ease with
     which we can state the problem to the program and the effectiveness of the
     program for finding a solution. We will begin by considering the generality
     of our problem solver’s input language (which we call REF), and then
     proceed to a discussion of the methods contained in the problem-solving program
     (which we call ARF). },
  NOTE={Submitted for publication in the AI Journal}
}