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