@inproceedings{CCG93,
	author = {B.M. Chang, K.M. Choe and R. Giacobazzi},
	title = {Abstract Filters: Improving Bottom-up Executions of Logic
                 Programs by Two-phase Abstract Interpretation},
        booktitle = {Proceedings of the Ninth ACM Symposium on 
                     Applied Computing},
        publisher = {ACM Press},
        Address = "Phoenix AZ",
        pages = {388--393},
	year = {1994}}