Constructive interpolation in hybrid logic (0)

by P Blackburn, M Marx
Venue:The Journal of Symbolic Logic