A Dedekind Domain with Nontrivial Class Group. - Vaibhav Pandey; Sagar Shrivastava; Balasubramanian Sury (Am. Math. Mon., 2018)