@inproceedings{DBLP:conf/datalog/CabalarS19, author = {Cabalar, Pedro and Schaub, Torsten}, title = {Dynamic and Temporal Answer Set Programming on Linear Finite Traces}, booktitle = {Datalog}, series = {{CEUR} Workshop Proceedings}, volume = {2368}, pages = {3--6}, publisher = {CEUR-WS.org}, year = {2019} }