Costa, José, Gabriel Hellen de Sousa, and Manoel Campêlo. "Formulações para o Problema da k-Floresta Geradora Mínima." Anais do VII Encontro de Teoria da Computação, Niterói, 2022. SBC, 2022, pp.101-104.