P. Rodler and M. Herold, “StaticHS: A Variant of Reiter’s Hitting Set Tree for Efficient Sequential Diagnosis”, SOCS, vol. 9, no. 1, pp. 72–80, Sep. 2021.