Bottom-up evaluation and query optimization of well-founded models. (1995)

by D B Kemp, D Srivastava, P J Stuckey
Venue:TCS,