Meyer, U. et al. 2024. Certifying Induced Subgraphs in Large Graphs. Journal of Graph Algorithms and Applications. 28, 3 (Sep. 2024), 49–68. DOI:https://doi.org/10.7155/jgaa.v28i3.2971.