On the Expressive Power of Datalog: Tools and a Case Study.

Phokion G. Kolaitis, Moshe Y. Vardi

Browse the full PODS paper archive.