On the expressive power of Datalog: Tools and a case study (1995)

by G Kolaitis, M Y Vardi
Venue:Journal of Computer and System Sciences