Wieslaw Szwast Lidia Tendera The guarded fragment with transitive guards. 227-276 2004 128 Ann. Pure Appl. Logic 1-3 http://dx.doi.org/10.1016/j.apal.2004.01.003 db/journals/apal/apal128.html#SzwastT04