Georg Gottlob Erich Grädel Helmut Veith Datalog LITE: a deductive query language with linear time model checking. 42-79 2002 3 ACM Trans. Comput. Log. 1 http://doi.acm.org/10.1145/504077.504079 db/journals/tocl/tocl3.html#GottlobGV02