TY  - RPRT
TI  - Hypertableau Reasoning for Description Logics
AU  - Boris Motik
AU  - Rob Shearer
AU  - Ian Horrocks
PY  - 2014
DO  - 10.1613/jair.2811
UR  - https://arxiv.org/abs/1401.3485
ID  - 1401.3485
ER  -