B. Schäpers, T. Niemueller, G. Lakemeyer, M. Gebser, and T. Schaub, “ASP-Based Time-Bounded Planning for Logistics Robots”, ICAPS, vol. 28, no. 1, pp. 509-517, Jun. 2018.