FGL+LV

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