From datalog rules to efficient programs with time and space guarantees

Yanhong A. Liu, Scott D. Stoller. From datalog rules to efficient programs with time and space guarantees. ACM Transactions on Programming Languages and Systems, 31(6), 2009. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: