A calculus for finitely satisfiable formulas with identity. Arthur M. Bullock, Hubert H. Schneider (1972) Archiv für mathematische Logik und Grundlagenforschung
A characterization of r-maximal sets. Donald A. Alton (1975) Archiv für mathematische Logik und Grundlagenforschung
A survey on real structural complexity theory. Meer, Klaus, Michaux, Christian (1997) Bulletin of the Belgian Mathematical Society - Simon Stevin