Eva Hoogland Maarten Marx Martin Otto Beth Definability for the Guarded Fragment. 273-285 1999 conf/lpar/1999 LPAR db/conf/lpar/lpar99.html#HooglandMO99 http://dx.doi.org/10.1007/3-540-48242-3_17