| Original language | English |
|---|---|
| Journal | Journal of Functional and Logic Programming |
| Volume | 1996 |
| Issue number | 1 |
| Publication status | Published - 1996 |
Cite this
Etalle, S., & Gabbrielli, M. (1996). On the correctness of the replacement operation for CLP modules. Journal of Functional and Logic Programming, 1996(1).