%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