Magic sets and bottom-up evaluation of well-founded models (1991)

by David Kemp, Divesh Srivastava, Peter Stuckey
Venue:In Procs. of the International Logic Programming Symposium