Schäpers, B.; Niemueller, T.; Lakemeyer, G.; Gebser, M.; Schaub, T. ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS 2018, 28, 509-517.