How heavy independent sets help to find arborescences with many leaves in DAGs - Fernandes, Cristina Gomes; Lintzmayer, Carla Negri (Journal of Computer and System Sciences, 2023)