REF-ARF

REF-ARF

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