Bottom-Up Evaluation and Query Optimization of Well-Founded Models.

David B. Kemp Divesh Srivastava Peter J. Stuckey Bottom-Up Evaluation and Query Optimization of Well-Founded Models. 145-184 1995 146 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs146.html#KempSS95 http://dx.doi.org/10.1016/0304-3975(94)00153-A