Decidability and completeness for open formulas of membership theories
scientific article; zbMATH DE number 824605
scientific article