H. Shinitzky, R. Stern, and M. Kalech, “Batch Repair with Heuristic Search”, SOCS, vol. 7, no. 1, pp. 141–142, Sep. 2021.