Loosely guarded fragment of first-order logic has the finite model property
scientific article; zbMATH DE number 1764811