%0 Book Section %1 series/lncs/SneyersSD08 %A Sneyers, Jon %A Schrijvers, Tom %A Demoen, Bart %B Constraint Handling Rules %D 2008 %E Schrijvers, Tom %E Frühwirth, Thom W. %I Springer %K dblp %P 213-244 %T Guard Reasoning in the Refined Operational Semantics of CHR. %U http://dblp.uni-trier.de/db/series/lncs/lncs5388.html#SneyersSD08 %V 5388 %@ 978-3-540-92242-1

@incollection{series/lncs/SneyersSD08, added-at = {2018-11-02T00:00:00.000+0100}, author = {Sneyers, Jon and Schrijvers, Tom and Demoen, Bart}, biburl = {https://www.bibsonomy.org/bibtex/209add480867c466df332f8bcd116b897/dblp}, booktitle = {Constraint Handling Rules}, crossref = {series/lncs/5388}, editor = {Schrijvers, Tom and Frühwirth, Thom W.}, ee = {https://doi.org/10.1007/978-3-540-92243-8_8}, interhash = {fd5511b7ea129a6ae032cea100d7426e}, intrahash = {09add480867c466df332f8bcd116b897}, isbn = {978-3-540-92242-1}, keywords = {dblp}, pages = {213-244}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:55:46.000+0200}, title = {Guard Reasoning in the Refined Operational Semantics of CHR.}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs5388.html#SneyersSD08}, volume = 5388, year = 2008 }