B. McDonald, J. Xu, M. Epstein, E. Freeman
On the Denotational and Logical Semantics of CLP-Modules
ICLP, 1993.
@inproceedings{ILPS-1993-McDonaldXEF,
author = "B. McDonald and J. Xu and M. Epstein and E. Freeman",
booktitle = "{Proceedings of the International Symposium on Logic Programming}",
isbn = "0-262-63152-0",
pages = "658",
publisher = "{MIT Press}",
title = "{On the Denotational and Logical Semantics of CLP-Modules}",
year = 1993,
}