Meyer, Ulrich, Hung Tran, and Konstantinos Tsakalidis. 2024. “Certifying Induced Subgraphs in Large Graphs”. Journal of Graph Algorithms and Applications 28 (3):49-68. https://doi.org/10.7155/jgaa.v28i3.2971.