Fold/Unfold Transformations for Fixpoint Logic.

Naoki Kobayashi, Grigory Fedyukovich, Aarti Gupta

Browse the full TACAS paper archive.