%0 Journal Article %1 journals/jflp/EtalleG96 %A Etalle, Sandro %A Gabbrielli, Maurizio %D 1996 %J J. Funct. Log. Program. %K dblp %N 1 %T On the Correctness of the Replacement Operation for CLP Modules. %U http://dblp.uni-trier.de/db/journals/jflp/jflp1996.html#EtalleG96 %V 1996

@article{journals/jflp/EtalleG96, added-at = {2020-04-01T00:00:00.000+0200}, author = {Etalle, Sandro and Gabbrielli, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/2b8efe0b5395fd9debe6d192e101812e5/dblp}, ee = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1996/A96-01/A96-01.html}, interhash = {d3dd5b33b814dc1f1c1e3c7ab6a769db}, intrahash = {b8efe0b5395fd9debe6d192e101812e5}, journal = {J. Funct. Log. Program.}, keywords = {dblp}, number = 1, timestamp = {2020-04-02T11:58:05.000+0200}, title = {On the Correctness of the Replacement Operation for CLP Modules.}, url = {http://dblp.uni-trier.de/db/journals/jflp/jflp1996.html#EtalleG96}, volume = 1996, year = 1996 }