@article{GebserObermeierSchaubetal.2018,
  author    = {Martin Gebser and Philipp Obermeier and Torsten H. Schaub and Michel Ratsch-Heitmann and Mario Runge},
  title     = {Routing driverless transport vehicles in car assembly with answer set programming},
  journal   = {Theory and practice of logic programming},
  volume    = {18},
  number    = {3-4},
  pages     = {520 -- 534},
  doi       = {10.1017/S1471068418000182},
  year      = {2018},
}