Untestable Properties Expressible with Four First-Order Quantifiers.

Charles Jordan, Thomas Zeugmann

Browse the full LATA paper archive.