A unification-theoretic method for investigating the k-provability problem (1991)

by W M Farmer
Venue:Annals of Pure and Applied Logic