"From datalog rules to efficient programs with time and space guarantees."

Yanhong A. Liu, Scott D. Stoller (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics