The Kreisel length-of-proof problem
scientific article; zbMATH DE number 1005820
scientific article