@article{GebserObermeierOttoetal.2018,
  author    = {Martin Gebser and Philipp Obermeier and Thomas Otto and Torsten H. Schaub and Orkunt Sabuncu and Van Nguyen and Tran Cao Son},
  title     = {Experimenting with robotic intra-logistics domains},
  journal   = {Theory and practice of logic programming},
  volume    = {18},
  number    = {3-4},
  pages     = {502 -- 519},
  doi       = {10.1017/S1471068418000200},
  year      = {2018},
}