Sandro Etalle, Maurizio Gabbrielli. On the Correctness of the Replacement Operation for CLP Modules. Journal of Functional and Logic Programming, 1996(1), 1996.
@article{EtalleG96,
title = {On the Correctness of the Replacement Operation for CLP Modules},
author = {Sandro Etalle and Maurizio Gabbrielli},
year = {1996},
researchr = {https://researchr.org/publication/EtalleG96},
cites = {0},
citedby = {0},
journal = {Journal of Functional and Logic Programming},
volume = {1996},
number = {1},
}