An interpolation theorem for irredundant bases of closure structures.

Alfred Tarski
Published in: Discret. Math. (1975)