B. Bandeira, M. Cerioli, and P. Viana.
" Set graphs are not definable in MSO1", in <em>Anais do XI Encontro de Teoria da Computação</em>, Gramado/RS, 2026, pp. 235-239, doi: <a href="https://doi.org/10.5753/etc.2026.21684">https://doi.org/10.5753/etc.2026.21684</a>.