Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity (1984)

by D Mundici
Venue:Annals of Pure and Applied Logic 27