Repairing the interpolation theorem in quantified modal logic - Areces, Carlos; Blackburn, Patrick 1959-; Marx, Maarten (ILLC research report and technical notes series, 2001)