2025. Avanços no uso de Sistemas de Igualdades e Desigualdades para demonstrar o Teorema das Quatro Cores. SciELO Preprints.