@article{YaSeYiHa07,
   author = {Hongseok Yang and Sunae Seo and Kwangkeun Yi and Taisook Han},
   title = {Goal-directed Weakening of Abstract Interpretation Results},
   journal = {ACM Transactions on Programming Langauges and Systems},
   volume = {29},
   number = {6},
   pages = {Article No.39},
   year = {2007},
   category = {program-analysis-tools},
   format = {pdf},
}