Decidability and the finite model property
scientific article; zbMATH DE number 3728233