A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.

Yevgeny Kazakov

Browse the full JELIA paper archive.