@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} }