Domenico Cantone Vincenzo Cutello Decision Procedures for Elementary Sublanguages of Set Theory. 189-201 1990 6 J. Autom. Reasoning 2 db/journals/jar/jar6.html#CantoneC90