Complete local rings as domains (1988)

by V Stoltenberg-Hansen, J V Tucker
Venue:Journal of Symbolic Logic