Hierarchies in transitive closure logic, stratified datalog and infinitary logic
Grädel, Erich; McColm, G.
Amsterdam [u.a.] / Elsevier (1996) [Journal Article]
Annals of pure and applied logic
Volume: 77
Page(s): 66-199
Identifier
- DOI: 10.1016/0168-0072(95)00021-6
- REPORT NUMBER: RWTH-CONV-045789