Program Equivalence and Canonical Forms in Stable Discrete Interpretations.

Grard Berry, Bruno Courcelle

Browse the full ICALP paper archive.