Hierarchies in transitive closure logic, stratified datalog and infinitary logic (0)

by E Grädel, G L McColm
Venue:Annals of Pure and Applied Logic, 77:166–199