Ian Pratt-Hartmann Complexity of the Guarded Two-variable Fragment with Counting Quantifiers. 133-155 2007 17 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exl034 db/journals/logcom/logcom17.html#Pratt-Hartmann07