Source : Free On-Line Dictionary of Computing

REF-ARF
     
        ["REF-ARF: A System for Solving Problems Stated as
        Procedures", R.E. Fikes, Artif Intell J 1(1), Spring 1970].
     
        (1998-06-29)