A one axiom set theory based on higher order predicate calculus. M.W. Bunder (1983) Archiv für mathematische Logik und Grundlagenforschung
A sentence that is difficult to interpret Vítězslav Švejdar (1981) Commentationes Mathematicae Universitatis Carolinae
Application de la généralisation du principe de correspondance à la théorie de l'élimination Louis Saltel (1873) Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale