Program Composition via Unification.

Limor Fix, Nissim Francez, Orna Grumberg

Browse the full ICALP paper archive.