Martin Grohe
Bounded-Arity Hierarchies in Fixed-Point Logics
CSL, 1993.
@inproceedings{CSL-1993-Grohe, author = "Martin Grohe", booktitle = "{Selected Papers of the Seventh Workshop on Computer Science Logic}", doi = "10.1007/BFb0049330", isbn = "3-540-58277-0", pages = "150--164", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Bounded-Arity Hierarchies in Fixed-Point Logics}", volume = 832, year = 1993, }