TY  - RPRT
TI  - Automated Reasoning in Temporal DL-Lite
AU  - Sabiha Tahrat
AU  - German Braun
AU  - Alessandro Artale
AU  - Marco Gario
AU  - Ana Ozaki
PY  - 2020
UR  - https://arxiv.org/abs/2008.07463
ID  - 2008.07463
ER  -