Bandeira, Bruno, 		Cerioli, Márcia, E 		Viana, Petrucio.
" Set graphs are not definable in MSO1" <em>Anais do Encontro de Teoria da Computação (ETC)</em> [Online], (19 julho 2026)