A simple algebraic proof of the equational interpolation theorem (1991)

by P H Rodenburg
Venue:Algebra Universalis