Kishimoto, A.; Zhou, R.; Imai, T. Diverse Depth-First Search in Satisificing Planning. SOCS 2021, 3, 164-165.