Rodler, P. Linear-Space Best-First Diagnosis Search. SOCS 2021, 12, 188-190.