ByNobleID
    Transfinitely valued Euclidean domains have arbitrary indecomposable\n order type | NobleID