Programming Languages Implementation and Logic Programming, P. Deransart et al eds, LNCS 348, Springer 1988
(1988)
Lindstrom, G. (1988)
Lindstrom, G. "Static Analysis of Functional Programs with Logical Variables"