@inproceedings{LuPPDP00,
author = {Lunjin Lu},
title = {A Precise Type Analysis of Logic Programs},
url = {http://www.oakland.edu/~l2lu/pubs/UnionType.ps},
keywords = {abstract interpretation and type analysis and tabling},
booktitle = {Proceedings of the Second International ACM SIGPLAN Conference on Principles and Practices of Declarative Programming},
year = 2000,
pages = {214-225},
publisher = {The ACM Press}
}