Depth-Bounded Bottom-Up Evaluation of Logic Program.

Jan Chomicki Depth-Bounded Bottom-Up Evaluation of Logic Program. 1-31 1995 25 J. Log. Program. 1 db/journals/jlp/jlp25.html#Chomicki95