Verifying Relational Properties of Functional Programs by First-Order Refinement.

Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi

Browse the full PEPM paper archive.