Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property.

Neta Elad, Sharon Shoham

Browse the full LICS paper archive.