Huamao Gu, Jin-Qin Shi, Xun Wang: Deciding the SHOQ(D)-Satisfiability with a Fully Tiered Clause Group. J. Softw. 7(2): 322-331 (2012)