B. Cavalar. " Uma versão algorítmica do Lema Local de Lovász", in Anais do II Encontro de Teoria da Computação, São Paulo, 2017, pp. 49-52, doi: https://doi.org/10.5753/etc.2017.3189.