David E. Smith Controlling Backward Inference. 145-208 1989 39 Artif. Intell. 2 db/journals/ai/ai39.html#Smith89