The distributivity property of finite intersections of valuation rings Ján Mináč (1984) Mathematica Slovaca