Neng-Fa Zhou Global Optimizations in a Prolog Compiler for the TOAM. 275-294 1993 15 J. Log. Program. 4 db/journals/jlp/jlp15.html#Zhou93