On the complexity of the two-variable guarded fragment with transitive guards
scientific article; zbMATH DE number 5117643