Integer programming formulations for the k $k$ -in-a-tree problem in graphs. - Lucas Saldanha Ferreira; Vinícius Fernandes dos Santos; Cristiano Arbex Valle (Int. Trans. Oper. Res., 2024)