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