Hierarchies in transitive closure logic, stratified datalog and infinitary logic

Grädel, Erich; McColm, G.

Amsterdam [u.a.] : Elsevier (1996)
Journal Article

In: Annals of pure and applied logic
Volume: 77
Page(s)/Article-Nr.: 66-199