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