A polynomial translation from the two-variable guarded fragment with number restrictions to the guarded fragment - KAZAKOV, Yevgeny (Logics in artificial intelligence (Lisbon, 27-30 September 2004), 2004)
text