Complete local rings as domains (1988)

by V Stoltenberg-Hansen, J Tucker
Venue:J. Symb. Logic