Complete description of substitutions in cylindric algebras and other algebraic logics Richard Thompson (1993) Banach Center Publications