Indicators, recursive saturation and expandability L. Kirby, K. McAllon, R. Murawski (1981) Fundamenta Mathematicae
Isomorphism does not imply lower base-isomorphism for nonregular or non-locally finite-dimensional cylindric algebras Balázs Biró (1987) Commentationes Mathematicae Universitatis Carolinae