PP-2000-14: Maarten Marx, Nick Bezhanishvili All proper normal extensions of S5--square have the polynomial size model property 1.Full Text, 2.Abstract. < Back
