Vol. 883. Henkin, L.; Monk, J. D.; Tarki, A.; Andréka, H.; Németi, I. (Eds.) 
Cylindric Set Algebras 
QA10 C95