Meyer U, Tran H, Tsakalidis K. Certifying Induced Subgraphs in Large Graphs. JGAA [Internet]. 2024 Sep. 10 [cited 2025 May 2];28(3):49-68. Available from: https://www.jgaa.info/index.php/jgaa/article/view/2971