A preliminary study of MV-algebras with two quantifiers which commute
diagonal-free two-dimensional cylindric algebras
scientific article; zbMATH DE number 6644698
scientific article