Quantifier rank for parity of embedded finite models

Hervé Fournier. Quantifier rank for parity of embedded finite models. Theoretical Computer Science, 295:153-169, 2003. [doi]

Abstract

Abstract is missing.