1. Normalfunktionen und Konstruktive Systeme von Ordinalzahen;Buchholz,1975
2. Three-valued logic and cut-elimination;Girard;Dissertationes Mathematicae,1976
3. Girard, J. Y., II12-LOGIC, Part 1, Annals of Mathematical Logic (to appear)
4. Husson, J. F., Completude et elimination des coupures pour Lβω, These de troisieme cycle University Paris VII (Paris)
5. Jervell, H. R., Homogeneous trees (Underground)