@inproceedings{Nepal:IWLS09,
 author = {K. Nepal and N. Alves and J. Dworak and R. I. Bahar},
 title = {Compacting Test Vector Sets via Strategic Use of Implications},
 booktitle = {18th International Workshop on Logic & Synthesis},
 year = {2009},
 month={August},
 }