@inproceedings{Alves:ICCAD09,
 author = {N. Alves and K. Nepal and J. Dworak and R. I. Bahar},
 title = {Compacting Test Vector Sets via Strategic Use of Implications},
 booktitle = {2009 International Conference on Computer Aided Design (ICCAD)},
 year = {2009},
 month={November},
 }