Nachum Dershowitz David A. Plaisted Logic Programming cum Applicative Programming. 54-66 1985 SLP db/conf/slp/slp85.html#DershowitzP85