Skip to main content

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