Peter Van Roy 1983-1993: The Wonder Years of Sequential Prolog Implementation. 385-441 1994 19/20 J. Log. Program. db/journals/jlp/jlp19.html#Roy94