Last update: Thu Sep 27 02:15:07 MDT 2018
@InProceedings{Gradel:1992:HTC, author = "E. Gradel and G. L. McColm", title = "Hierarchies in transitive closure logic, stratified {Datalog} and infinitary logic", crossref = "IEEE:1992:ASF", pages = "167--176", year = "1992", bibdate = "Thu Apr 5 06:13:50 MDT 2001", bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib", acknowledgement = ack-nhfb, }