The guarded fragment with transitive guards
scientific article; zbMATH DE number 2091346