Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable.

Manfred Kufleitner, Alexander Lauser

Browse the full STACS paper archive.