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 October 8, 2024. https://jgaa.info/index.php/jgaa/article/view/2971.