Bandeira, B., 		Cerioli, M., & 		Viana, P.
2026 jul 19.  Set graphs are not definable in MSO1. Anais do Encontro de Teoria da Computação (ETC). [Online] :