Kishimoto, Akihiro, et al. “Diverse Depth-First Search in Satisificing Planning”. Proceedings of the International Symposium on Combinatorial Search, vol. 3, no. 1, Aug. 2021, pp. 164-5, doi:10.1609/socs.v3i1.18262.