A proof theoretical fine structure in systems of ramified analysis. Ulf R. Schmerl (1982) Archiv für mathematische Logik und Grundlagenforschung
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
Approximation theory of uniqueness conditions by existence conditions Nobuyoshi Motohashi (1984) Fundamenta Mathematicae