On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures | IEEE Conference Publication | IEEE Xplore