@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"
}