When is a regular local ring a locality ?

From MaRDI portal