"Synthesis Through Unification."

Rajeev Alur, Pavol Cerný, Arjun Radhakrishna (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics