PP-2001-19: Areces, C. and Blackburn, P. and Marx, M. (2001) Repairing the Interpolation Theorem in Quantified Modal Logic. [Report]