Rodler, P.; Herold, M. StaticHS: A Variant of Reiter’s Hitting Set Tree for Efficient Sequential Diagnosis. SOCS 2021, 9, 72-80.