Oracles and Quantifiers. - Johann A. Makowsky; Y. B. Pnueli (CSL, 1993)

Logics Capturing Relativized Complexity Classes Uniformly. - Johann A. Makowsky; Y. B. Pnueli (LCC, 1994)

Arity vs. Alternation in Second Order Logic. - Johann A. Makowsky; Y. B. Pnueli (LFCS, 1994)

Arity and Alternation in Second-Order Logic. - Johann A. Makowsky; Y. B. Pnueli (Ann. Pure Appl. Log., 1996)

Erratum to "Arity and Alternation in Second-Order Logic". - Johann A. Makowsky; Y. B. Pnueli (Ann. Pure Appl. Log., 1998)