REF-ARF: A system for solving problems stated as procedures (1970)

by R E Fikes
Venue:Artificial Intelligence