["Functional Programming and the Logical Variable", G. Lindstrom, POPL 1985, pp. 266-280].
Nearby terms: FGDC « FGHC « FGL « FGL+LV » FGRAAL » fgrep » FhG
