A Coinduction Rule for Entailment of Recursively Defined Properties.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Browse the full CP paper archive.