  Pseudo-valuation domains have been studied since their introduction in 1978
by Hedstrom and Houston. Related objects, boundary valuation domains, were
introduced by Maney in 2004. Here, it is shown that the class of atomic
pseudo-valuation domains coincides with the class of boundary valuation
domains. It is also shown that power series rings and generalized power series
rings give examples of pseudo-valuation domains whose congruence lattices can
be characterized. The paper also introduces, and makes use of, a sufficient
condition on the group of divisibility of a domain to guarantee that it is a
pseudo-valuation domain.
