When $(D \lbrack\lbrack X \rbrack\rbrack)_{P \lbrack\lbrack X \rbrack\rbrack$ is a Valuation Ring

From MaRDI portal
Publication:5665280