Datalog LITE: deductive versus temporal reasoning in verification (1998)

by G Gottlob, E Gradel, H Veith