Y. Dinitz and E. Shimony, “On Existence of Must-Include Paths and Cycles in Undirected Graphs”, JGAA, vol. 30, no. 1, pp. 465–488, Nov. 2026.