Definition: Noetherian local ring whose completion is the quotient of a regular local ring by an ideal generated by a regular sequence
(No citations retrieved.)