Towards Dynamic Answer Set Programming over Finite Traces | Publicación