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

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