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