Generalized interpolation in first-order logic (2005)

by Tomasz Borzyszkowski
Venue:Fundamenta Informaticæ