@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}
}