@inproceedings{LuSAS01,
author={Lunjin Lu},
title= {Parameterizing A Groundness Analysis of Logic Programs},
booktitle ={Proceedings of the Eighth Static Analysis Symposium},
publisher ={Springer-Verlag},
year={2001},
keywords = {Parametric analysis, abstract interpretation, groundness analysis},
url = {http://www.oakland.edu/~l2lu/pubs/PCon.ps}
}