Meyer, Ulrich, Hung Tran, and Konstantinos Tsakalidis. “Certifying Induced Subgraphs in Large Graphs”. Journal of Graph Algorithms and Applications 28, no. 3 (September 10, 2024): 49–68. Accessed May 2, 2025. https://www.jgaa.info/index.php/jgaa/article/view/2971.