Neta Elad, Sharon Shoham. Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property. In Claudia Faggian, Joost-Pieter Katoen, editors, 41st Annual Symposium on Logic in Computer Science, LICS 2026, Lisbon, Portugal, July 20-23, 2026. Volume 380 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.