TY  - RPRT
TI  - ExpTime Tableaux for the Description Logic SHIQ Based on Global State Caching and Integer Linear Feasibility Checking
AU  - Linh Anh Nguyen
PY  - 2013
UR  - https://arxiv.org/abs/1205.5838
ID  - 1205.5838
ER  -