%0 Conference Paper %1 conf/cp/JaffarSV08 %A Jaffar, Joxan %A Santosa, Andrew E. %A Voicu, Razvan %B CP %D 2008 %E Stuckey, Peter J. %I Springer %K dblp %P 493-508 %T A Coinduction Rule for Entailment of Recursively Defined Properties. %U http://dblp.uni-trier.de/db/conf/cp/cp2008.html#JaffarSV08 %V 5202 %@ 978-3-540-85957-4

@inproceedings{conf/cp/JaffarSV08, added-at = {2017-05-17T00:00:00.000+0200}, author = {Jaffar, Joxan and Santosa, Andrew E. and Voicu, Razvan}, biburl = {https://www.bibsonomy.org/bibtex/2037896bf0f79a2436a9d38dfdaccd4a4/dblp}, booktitle = {CP}, crossref = {conf/cp/2008}, editor = {Stuckey, Peter J.}, ee = {https://doi.org/10.1007/978-3-540-85958-1_33}, interhash = {347af29ce781916847215c841e0d7206}, intrahash = {037896bf0f79a2436a9d38dfdaccd4a4}, isbn = {978-3-540-85957-4}, keywords = {dblp}, pages = {493-508}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:19:08.000+0200}, title = {A Coinduction Rule for Entailment of Recursively Defined Properties.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2008.html#JaffarSV08}, volume = 5202, year = 2008 }