Akihiro Kishimoto Adi Botea Radu Marinescu 0002 Depth-First Memory-Limited AND/OR Search and Unsolvability in Cyclic Search Spaces. 2019 IJCAI https://doi.org/10.24963/ijcai.2019/178 conf/ijcai/2019 db/conf/ijcai/ijcai2019.html#KishimotoB019 1280-1288