Artificial Intelligence Journal 1(1) Spring 1970

(1970)
  • Fikes, R.E. (1970) Fikes, R.E. "REF-ARF: A System for Solving Problems Stated as Procedures"