Datalog LITE: A deductive query language with linear time model checking
by
Georg Gottlob
,
Erich Grädel
,
Helmut Veith
| Citations: | 18 - 6 self |
BibTeX
@MISC{Gottlob_dataloglite:,
author = {Georg Gottlob and Erich Grädel and Helmut Veith},
title = {Datalog LITE: A deductive query language with linear time model checking},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
