Lindstrom, G. "Static Analysis of Functional Programs with Logical Variables"

Programming Languages Implementation and Logic Pro (1988) Programming Languages Implementation and Logic Programming, P. Deransart et al eds, LNCS 348, Springer 1988  

Languages mentioned SFLV {1988}