TY  - RPRT
TI  - Temporal Answer Set Programming on Finite Traces
AU  - Pedro Cabalar
AU  - Roland Kaminski
AU  - Torsten Schaub
AU  - Anna Schuhmann
PY  - 2018
UR  - https://arxiv.org/abs/1804.10227
ID  - 1804.10227
ER  -