Efficient Goal Directed Bottom-Up Evaluation of Logic Programs.

Michael Codish Efficient Goal Directed Bottom-Up Evaluation of Logic Programs. 355-370 1999 38 J. Log. Program. 3 db/journals/jlp/jlp38.html#Codish99 http://dx.doi.org/10.1016/S0743-1066(98)10024-9