Bruno Bandeira, Márcia Cerioli, and Petrucio Viana. 2026.
 Set graphs are not definable in MSO1. In <em>Anais do XI Encontro de Teoria da Computação</em>, julho 19, 2026, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 235-239. DOI: <a href="https://doi.org/10.5753/etc.2026.21684">https://doi.org/10.5753/etc.2026.21684</a>.