Kazakov, Yevgeny Programming Logics, MPI for Informatics, Max Planck Society;
Kazakov, Y. (2004). A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. In Logics in artificial intelligence: 9th European Conference, JELIA 2004 (pp. 372-384). Berlin, Germany: Springer.