@article{DBLP:journals/tplp/GebserOSR18,
  author = {Gebser, Martin and Obermeier, Philipp and Schaub, Torsten and Ratsch{-}Heitmann, Michel and Runge, Mario},
  title = {Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming},
  journal = {{TPLP}},
  volume = {18},
  number = {3-4},
  pages = {520--534},
  year = {2018}
}