TY  - RPRT
TI  - Extending ALCQIO with reachability
AU  - Tomer Kotek
AU  - Mantas Simkus
AU  - Helmut Veith
AU  - Florian Zuleger
PY  - 2014
UR  - https://arxiv.org/abs/1402.6804
ID  - 1402.6804
ER  -