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