%0 Journal Article %1 journals/tplp/Haemmerle12 %A Haemmerlé, Rémy %D 2012 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 737-753 %T Diagrammatic confluence for Constraint Handling Rules. %U http://dblp.uni-trier.de/db/journals/tplp/tplp12.html#Haemmerle12 %V 12

@article{journals/tplp/Haemmerle12, added-at = {2020-02-13T00:00:00.000+0100}, author = {Haemmerlé, Rémy}, biburl = {https://www.bibsonomy.org/bibtex/2c2a06f305f2dbf5ea79513f5ce9b479c/dblp}, ee = {https://doi.org/10.1017/S1471068412000270}, interhash = {6fb79e02e3bfc84108b7606d4a0ada78}, intrahash = {c2a06f305f2dbf5ea79513f5ce9b479c}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {737-753}, timestamp = {2020-02-14T11:43:46.000+0100}, title = {Diagrammatic confluence for Constraint Handling Rules.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp12.html#Haemmerle12}, volume = 12, year = 2012 }