A Complete Top-Down Interpreter for First Order Programs.

Taisuke Sato Fumio Motoyoshi A Complete Top-Down Interpreter for First Order Programs. 35-53 1991 ISLP db/conf/slp/slp91.html#SatoM91