Intuitionistic three-valued logic and logic programming J. Vauzeilles; A. Strauss — 1991 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs. J.Y., Vauzeilles, J. Girard — 1984 Archiv für mathematische Logik und Grundlagenforschung