David B. Kemp Peter J. Stuckey Optimizing Bottom-Up Evaluation of Constraint Queries. 1-30 1996 26 J. Log. Program. 1 db/journals/jlp/jlp26.html#KempS96