Constructive interpolation in hybrid logic - Blackburn, Patrick 1959-; Marx, Maarten (ILLC research report and technical notes series, 2002)