A. Kishimoto, R. Zhou, and T. Imai, “Diverse Depth-First Search in Satisificing Planning”, SOCS, vol. 3, no. 1, pp. 164–165, Aug. 2021.