%A David E. Smith
%T Controlling backward inference
%R Report No. KSL-86-68
%I Knowledge Systems Laboratory, Department of Computer Science,
Stanford University
%D March 1987