On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures.

Yuguo He

Browse the full LICS paper archive.