@inproceedings{DBLP:conf/ecai/CabalarDSL20, author = {Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Schaub, Torsten and Laferri{\`{e}}re, Fran{\c{c}}ois}, title = {Implementing Dynamic Answer Set Programming over Finite Traces}, booktitle = {{ECAI}}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {325}, pages = {656--663}, publisher = {{IOS} Press}, year = {2020} }