"Arity and Alternation in Second-Order Logic."

Johann A. Makowsky, Y. B. Pnueli (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics