Joxan Jaffar, Andrew E. Santosa, Razvan Voicu. A Coinduction Rule for Entailment of Recursively Defined Properties. In Peter J. Stuckey, editor, Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Volume 5202 of Lecture Notes in Computer Science, pages 493-508, Springer, 2008.
Abstract is missing.