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

(1970)

(1970) Artificial Intelligence Journal 1(1) Spring 1970  

Languages mentioned