Jan Hladik Jörg Model Tableau Systems for SHIO and SHIQ. 2004 conf/dlog/2004 Description Logics http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-104/22Hladik-final.pdf db/conf/dlog/dlog2004.html#HladikM04