P. Rodler, “Linear-Space Best-First Diagnosis Search”, SOCS, vol. 12, no. 1, pp. 188–190, Jul. 2021.