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