Costa, José, Sousa, Gabriel, E Campêlo, Manoel. " Formulações para o Problema da k-Floresta Geradora Mínima" Anais do Encontro de Teoria da Computação (ETC) [Online], (31 julho 2022)