On the Denotational and Logical Semantics of CLP-Modules. - B. McDonald; J. Xu; M. Epstein; E. Freeman (ILPS, 1993)