Xie, Fan, Martin Müller, Robert Holte, and Tatsuya Imai. 2014. “Type-Based Exploration With Multiple Search Queues for Satisficing Planning”. Proceedings of the AAAI Conference on Artificial Intelligence 28 (1). https://doi.org/10.1609/aaai.v28i1.9036.