FGL+LV

FGL+LV

["Functional Programming and the Logical Variable",G. Lindstrom, POPL 1985, pp. 266-280].