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