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