Roger D. Maddux Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. 951-974 1989 54 J. Symb. Log. 3 db/journals/jsyml/jsyml54.html#Maddux89 http://projecteuclid.org/euclid.jsl/1183743031