User Interaction Models for Disambiguation in Programming by Example
Spreadsheet data manipulation using examples