Synthesis Through Unification.

Rajeev Alur, Pavol Cern, Arjun Radhakrishna

Browse the full CAV paper archive.