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