@inproceedings{liu03datalog,
 author = "Yanhong A. Liu and Scott D. Stoller",
 title = "From Datalog Rules to Efficient Programs with Time and Space Guarantees",
 booktitle="Proc.\ Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP)",
 year=2003,
 month = aug,
 publisher = "ACM Press",
 pages="172-183"
}