TY  - RPRT
TI  - Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI
AU  - Linh Anh Nguyen
PY  - 2012
UR  - https://arxiv.org/abs/1106.2305
ID  - 1106.2305
ER  -