Li, J.; Cazenave, T.; Legras, S.; Queffelec, A.; Ventos, V. Nested Depth Search. AAAI 2026, 40, 37036-37044.