Seidenberg's condition P
1981 ◽
pp. 1-11
◽