@article(lau-mlj-2003-smartedit,
  author=  {Tessa Lau and Steven A. Wolfman and Pedro Domingos and Daniel S. Weld},
  title=   {Programming by Demonstration using {Version} {Space} {Algebra}},
  journal= {Machine Learning},
  volume=  {53},
  number=  {1--2},
  pages=   {111--156},
  year=    {2003},
)