@article{CabalarKaminskiSchaubetal.2018,
  author    = {Pedro Cabalar and Roland Kaminski and Torsten H. Schaub and Anna Schuhmann},
  title     = {Temporal answer set programming on finite traces},
  journal   = {Theory and practice of logic programming},
  volume    = {18},
  number    = {3-4},
  pages     = {406 -- 420},
  doi       = {10.1017/S1471068418000297},
  year      = {2018},
}