J. Costa, G. Sousa, and M. Campêlo. "Formulações para o Problema da k-Floresta Geradora Mínima", in Anais do VII Encontro de Teoria da Computação, Niterói, 2022, pp. 101-104, doi: https://doi.org/10.5753/etc.2022.223148.