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,
}











