Gange, G.; Harabor, D.; Stuckey, P. J. Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. ICAPS 2021, 29, 155-162.