Source : Free On-Line Dictionary of Computing

FGL+LV
     
        ["Functional Programming and the Logical Variable",
        G. Lindstrom, POPL 1985, pp. 266-280].
     
        (1994-11-30)