@article{liu09datalog, 
 author = "Yanhong A. Liu and Scott D. Stoller", 
 title = "From Datalog Rules to Efficient Programs with Time and Space Guarantees", 
 journal="ACM Transactions on Programming Languages and Systems", 
 month=aug, 
 year=2009, 
 publisher = "ACM Press", 
 volume=31, 
 number=6, 
 pages="1-38" 
}