%0 Conference Proceedings %F list2003 %A Liu, Yanhong A. %A Stoller, Scott D. %T From datalog rules to efficient programs with time and space guarantees %B PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming %P 172-183 %I ACM %C New York, NY, USA %U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/liu2003.pdf %U http://doi.acm.org/10.1145/888251.888268 %D 2003 %K dbprog %K inccomp