@inproceedings{LuPEPM02,
author={Lunjin Lu},
title= {Path Dependent Analysis of Logic Programs},
booktitle ={Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation},
publisher ={The ACM Press},
year={2002},
pages={63--74},
keywords = {Abstract Interpretation, Context-Sensitive Analysis, Call Strings},
url = {http://www.oakland.edu/~l2lu/pubs/Path.pdf}
}