Definition: Noetherian ring whose localizations at primes are regular local rings
(No citations retrieved.)