Speck, D., Mattmüller, R., & Nebel, B. (2020). Symbolic Top-k Planning. Proceedings of the AAAI Conference on Artificial Intelligence, 34(06), 9967-9974. https://doi.org/10.1609/aaai.v34i06.6552