Bandeira, Bruno, Márcia R. Cerioli, and Petrucio Viana.
" Set graphs are not definable in MSO1." <em>Anais do XI Encontro de Teoria da Computação,
Gramado/RS, 2026</em>. SBC, 2026,  
pp.235-239.