@article{temporalanswersetprogrammingonfinite, title = {Temporal Answer Set Programming on Finite Traces}, author = {Pedro Cabalar and Roland Kaminski and Torsten Schaub and Anna Schuhmann}, year = {2018}, eprint = {1804.10227}, archivePrefix = {arXiv}, url = {http://arxiv.org/abs/1804.10227v1}, }