Meyer U, Tran H, Tsakalidis K. Certifying Induced Subgraphs in Large Graphs. JGAA [Internet]. 2024 Sep. 10 [cited 2024 Dec. 22];28(3):49-68. Available from: https://jgaa-v4.cs.brown.edu/index.php/jgaa/article/view/2971