Neng-Fa Zhou. Global Optimizations in a Prolog Compiler for the TOAM. Journal of Logic and Algebraic Programming, 15(4):275-294, 1993.
@article{Zhou93:2, title = {Global Optimizations in a Prolog Compiler for the TOAM}, author = {Neng-Fa Zhou}, year = {1993}, tags = {optimization, Prolog, compiler}, researchr = {https://researchr.org/publication/Zhou93%3A2}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {15}, number = {4}, pages = {275-294}, }