Your search returned the following 6 documents:

6. Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment
   Yevgeny Kazakov
   Doctoral dissertation, Universität des Saarlandes, 2006. Note: Magna Cum Laude
   [PDF: Download: YevgenyThesis.pdf]
   
5. A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
   Yevgeny Kazakov
   In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, 2004, 372-384
   [PDF: Download: Kaz04GF2N.pdf]
   
4. A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
   Yevgeny Kazakov and Hans de Nivelle
   In: Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, County Cork, Ireland, 2004, 122-136
   
3. Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
   Hans de Nivelle and Yevgeny Kazakov
   Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, MPI-I-2004-2-001, Research Report
   [PDF: Download: MPI-I-2004-2-001.pdf]
   
2. Recursive resolution for modal logic
   Yevgeny Kazakov
   In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, Saarbrücken, Germany, 2002, 11-15
   [Download: RecResML.dvi]
   
1. Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
   Yevgeny Kazakov and Hans de Nivelle
   In: 2003 International Workshop on Description Logics (DL-03), Rome, Italy, September 5-7, 2003, 2003, 56-64
   [PDF: Download: SubDL.pdf]