@article{DBLP:journals/corr/abs-1804-10227, title = {Temporal Answer Set Programming on Finite Traces}, author = {Cabalar, Pedro and Kaminski, Roland and Schaub, Torsten and Schuhmann, Anna}, journal = {CoRR}, volume = {abs/1804.10227}, year = {2018} }