U. Meyer, H. Tran, and K. Tsakalidis, “Certifying Induced Subgraphs in Large Graphs”, JGAA, vol. 28, no. 3, pp. 49–68, Sep. 2024.