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

In addition suitable contents:
[ 2 ] [ as ] [ at ] [ b ] [ du ] [ E ] [ ed ] [ edu ] [ es ] [ fo ] [ for ] [ in ] [ J ] [ ke ] [ lv ] [ ms ] [ ng ] [ pr ] [ RE ] [ re ] [ ro ] [ S ] [ st ] [ vi ]