@article{SeYaYiHa-TOPLAS-2007,
title={Goal-Directed Weakening of Abstract Interpretation Results},
author={Sunae Seo and Hongseok Yang and Kwangkeun Yi and Taisook Han},
journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
volume={29},
number={6},
pages={39},
year={2007},
publisher={ACM}
}