TY  - RPRT
TI  - A Temporal Description Logic for Reasoning about Actions and Plans
AU  - A. Artale
AU  - E. Franconi
PY  - 2011
DO  - 10.1613/jair.516
UR  - https://arxiv.org/abs/1105.5446
ID  - 1105.5446
ER  -