Norman Feldman The Cylindric Algebras of Three-Valued Logic. 1201-1217 1998 63 J. Symb. Log. 4 db/journals/jsyml/jsyml63.html#Feldman98