https://9lib.org/document/zx5x852o-ideal-based-divisor-graph-direct-products-commutative-rings.html