Keith L. Clark Logic Programming Schemes. 120-139 1988 FGCS db/conf/fgcs/fgcs88.html#Clark88