-- Prüfer Domains of Integer-Valued Polynomials (K.A. Loper, M. Syvuk) -- Lobal