Text this: Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property