%0 Conference Paper %1 journals/entcs/SchrijversDDSF06 %A Schrijvers, Tom %A Demoen, Bart %A Duck, Gregory J. %A Stuckey, Peter J. %A Frühwirth, Thom W. %B RULE@RDP %D 2005 %E Cirstea, Horatiu %E Martí-Oliet, Narciso %I Elsevier %K dblp %N 1 %P 93-111 %T Automatic Implication Checking for CHR Constraints. %U http://dblp.uni-trier.de/db/journals/entcs/entcs147.html#SchrijversDDSF06 %V 147

@inproceedings{journals/entcs/SchrijversDDSF06, added-at = {2022-12-15T00:00:00.000+0100}, author = {Schrijvers, Tom and Demoen, Bart and Duck, Gregory J. and Stuckey, Peter J. and Frühwirth, Thom W.}, biburl = {https://www.bibsonomy.org/bibtex/29dc6d853c8c954bcfd48164377193bca/dblp}, booktitle = {RULE@RDP}, crossref = {conf/rule/2005}, editor = {Cirstea, Horatiu and Martí-Oliet, Narciso}, ee = {https://doi.org/10.1016/j.entcs.2005.06.039}, interhash = {82112ade7e75b8f0168976dd6975decf}, intrahash = {9dc6d853c8c954bcfd48164377193bca}, keywords = {dblp}, number = 1, pages = {93-111}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T15:11:14.000+0200}, title = {Automatic Implication Checking for CHR Constraints.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs147.html#SchrijversDDSF06}, volume = 147, year = 2005 }