%0 Conference Paper %1 conf/lopstr/ChristiansenK14 %A Christiansen, Henning %A Kirkeby, Maja H. %B LOPSTR %D 2014 %E Proietti, Maurizio %E Seki, Hirohisa %I Springer %K dblp %P 41-58 %T Confluence Modulo Equivalence in Constraint Handling Rules. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2014.html#ChristiansenK14 %V 8981 %@ 978-3-319-17821-9

@inproceedings{conf/lopstr/ChristiansenK14, added-at = {2021-10-14T00:00:00.000+0200}, author = {Christiansen, Henning and Kirkeby, Maja H.}, biburl = {https://www.bibsonomy.org/bibtex/262ef4c78ba6e68b637d7550f54615afa/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2014}, editor = {Proietti, Maurizio and Seki, Hirohisa}, ee = {https://doi.org/10.1007/978-3-319-17822-6_3}, interhash = {cc75939a8b7db746604f9b7aeab04e1c}, intrahash = {62ef4c78ba6e68b637d7550f54615afa}, isbn = {978-3-319-17821-9}, keywords = {dblp}, pages = {41-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:27:09.000+0200}, title = {Confluence Modulo Equivalence in Constraint Handling Rules.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2014.html#ChristiansenK14}, volume = 8981, year = 2014 }