Meyer, Ulrich, et al. “Certifying Induced Subgraphs in Large Graphs”. Journal of Graph Algorithms and Applications, vol. 28, no. 3, Sept. 2024, pp. 49-68, doi:10.7155/jgaa.v28i3.2971.