All proper normal extensions of S5-square have the polynomial size model property - Marx, Maarten; Bezhanishvili, Nick (Inst. for Logic, Language and Computation, 2000)