Galen Weitkamp The Sigma<sup>1</sup><sub>2</sub> Theory of Axioms of Symmetry. 727-734 1989 54 J. Symb. Log. 3 db/journals/jsyml/jsyml54.html#Weitkamp89