%0 Journal Article %1 journals/tplp/HillBZ02 %A Hill, Patricia M. %A Bagnara, Roberto %A Zaffanella, Enea %D 2002 %J Theory Pract. Log. Program. %K dblp %N 2 %P 155-201 %T Soundness, idempotence and commutativity of set-sharing. %U http://dblp.uni-trier.de/db/journals/tplp/tplp2.html#HillBZ02 %V 2

@article{journals/tplp/HillBZ02, added-at = {2020-10-26T00:00:00.000+0100}, author = {Hill, Patricia M. and Bagnara, Roberto and Zaffanella, Enea}, biburl = {https://www.bibsonomy.org/bibtex/207590ccaec228075eedf3005ff6e9edc/dblp}, ee = {https://www.wikidata.org/entity/Q60501252}, interhash = {1fa1d6bc2a7556bae29ebdfaf06aae6e}, intrahash = {07590ccaec228075eedf3005ff6e9edc}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 2, pages = {155-201}, timestamp = {2020-10-27T12:59:47.000+0100}, title = {Soundness, idempotence and commutativity of set-sharing.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp2.html#HillBZ02}, volume = 2, year = 2002 }