@article{LuJLP98,
author = {Lunjin Lu},
title = {Polymorphic Type Analysis of Logic Programs by Abstract Interpretation},
month = {},
year = {1998},
pages = {1-54},
keywords = {logic programming and abstract interpretation and type analysis},
note = {},
url = {http://www.oakland.edu/~l2lu/pubs/PolyType.ps},
journal = {Journal of Logic Programming},
number = {1},
volume = {36}
}