Meyer, U.; Tran, H.; Tsakalidis, K. Certifying Induced Subgraphs in Large Graphs. JGAA 2024, 28, 49-68.