Reference

2015
Synthesis through Unification
Rajeev Alur, Pavol Černý, and Arjun Radhakrishna
CAV 2015: International Conference on Computer Aided Verification

BibTeX

@string{CAV = "International Conference on Computer Aided Verification (CAV)"}
@inproceedings{synunification-cav15,
  author = {Rajeev Alur and Pavol Černý and Arjun Radhakrishna},
  title = {Synthesis through Unification},
  booktitle = CAV,
  year = {2015},
}