@inproceedings{GG93,
	author = {M. Gabbrielli and R. Giacobazzi},
	title = {Goal independency and call patterns in the analysis of 
	logic programs},
        booktitle = {Proceedings of the Ninth ACM Symposium on 
                     Applied Computing},
        editor = {E. Deaton, D. Oppenheim, J. Urban and H. Berghel},
        publisher = {ACM Press},
        Address = "Phoenix AZ",
        pages = {394--399},
	year = {1994}}