Yanhong A. Liu, Scott D. Stoller. From datalog rules to efficient programs with time and space guarantees. In Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden. pages 172-183, ACM, 2003. [doi]
Abstract is missing.