Albert Atserias The Descriptive Comlexity of the Fixed-Points of Bounded Formulas. 172-186 http://link.springer.de/link/service/series/0558/bibs/1862/18620172.htm 2000 conf/csl/2000 CSL db/conf/csl/csl2000.html#Atserias00