A Note on Higher-Order Functions versus Logical Variables (1989)

by F W Burton
Venue:Information Processing Letters