Moore, Robert Carter "Reasoning from Incomplete Knowledge in a Procedural Deduction System" MIT AITR-347 December 1975
(1975)
Languages mentioned
PLANNER
{1967} Goal-direct LISP dialect