Datalog LITE: a deductive query language with linear time model checking
Georg Gottlob‚ Erich Grädel and Helmut Veith
Journal
ACM Trans. Comput. Log.
Number
1
Pages
42−79
Volume
3
Year
2002
Georg Gottlob‚ Erich Grädel and Helmut Veith