Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability
scientific article; zbMATH DE number 4213953