Report 84 06 Controlling Recursive Inference . S Stanford David E. Smith Michael R. Matthew L. Ginsberg a