1. The closure of Monadic NP;Ajtai;J. Comput. System Sci.,2000
2. The modal μ-calculus alternation hierarchy is strict;Bradfield;Theoret. Comput. Sci.,1998
3. A restricted second order logic for finite structures;Dawar;Inform. Comput.,1998
4. A. Durand, C. Lautemann, M. More, Counting results in weak formalisms, Technical Report 1998-14, Université de Caen, France, 1998.
5. Nonerasing, counting, and majority over the linear time hierarchy;Durand;Inform. and Comput.,2002