1. The Description Logic Handbook: Theory, Implementation, and Applications,2003
2. The Classical Decision Problem;Börger,1997
3. On the decision problem for two-variable first-order logic;Grädel;Bull. Symb. Log.,1997
4. A new decidable fragment of first order logic;Herzig,1990
5. Saturation-based decision procedures for extensions of the guarded fragment;Kazakov,2006