@InProceedings{PetkovskaNov14,
  author =    {Ana Petkovska and David Novo and Alan Mishchenko and
               Paolo Ienne},
  title =     {Constrained Interpolation for Guided Logic
               Synthesis},
  booktitle = {Proceedings of the International Conference on
                Computer Aided Design},
  month =     nov,
  year =      2014,
  address =   {San Jose, Calif.},
  pages =     {462--69},
}