@article{DBLP:journals/tplp/CabalarKSS18,
  author = {Cabalar, Pedro and Kaminski, Roland and Schaub, Torsten and Schuhmann, Anna},
  title = {Temporal Answer Set Programming on Finite Traces},
  journal = {{TPLP}},
  volume = {18},
  number = {3-4},
  pages = {406--420},
  year = {2018}
}