Complete local rings as domains (1988)

by Viggo Stoltenberg-Hansen, John V Tucker
Venue:J. Symbolic Logic