Tools for Datalog Boundedness.

Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi

Browse the full PODS paper archive.