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

Yuguo He (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics