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

Yanhong A. Liu, Scott D. Stoller

Browse the full PPDP paper archive.