From Datalog rules to efficient programs with time and space guarantees (2003)

by Yanhong A Liu, Scott D Stoller
Venue:In PPDP ’03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming