J. Li, T. Cazenave, S. Legras, A. Queffelec, and V. Ventos, “Nested Depth Search”, AAAI, vol. 40, no. 43, pp. 37036–37044, Mar. 2026.