"The disjunction and existence properties for axiomatic systems of truth."

Harvey M. Friedman, Michael Sheard (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics