"More efficient datalog queries: subsumptive tabling beats magic sets."

K. Tuncay Tekle, Yanhong A. Liu (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics