Non-Commutative Valuation Rings and Semi-Hereditary Orders | EKB DL