Neng-Fa Zhou "Global Optimizations in a Prolog Compiler for the TOAM" J. Logic Programming, Vol.15, pp.265-294, 1993
(1993)
Languages mentioned
Beta-Prolog
{1992}