Schäpers, B., T. Niemueller, G. Lakemeyer, M. Gebser, and T. Schaub. “ASP-Based Time-Bounded Planning for Logistics Robots”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 28, no. 1, June 2018, pp. 509-17, doi:10.1609/icaps.v28i1.13927.