C. Lei and N. Lipovetzky, “Width-Based Backward Search”, ICAPS, vol. 31, no. 1, pp. 219-224, May 2021.