A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis. - Marc Neuberger; Prateek Mishra (LISP and Functional Programming, 1992)