Complete description of substitutions in cylindric algebras and other algebraic logics
Volume 28 / 1993
Banach Center Publications 28 (1993), 327-342
DOI: 10.4064/-28-1-327-342