Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability.

Franco Parlamento Alberto Policriti Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability. 271-284 1991 7 J. Autom. Reasoning 2 db/journals/jar/jar7.html#ParlamentoP91