"Programming by examples: applications, algorithms, and ambiguity resolution."

Sumit Gulwani (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics