Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic

Erich Grdel, Gregory L. McColm

Browse the full FOCS paper archive.