@InProceedings{HillBZ98a, Author = "P. M. Hill and R. Bagnara and E. Zaffanella", Title = "The Correctness of Set-Sharing", BookTitle = "Proceedings of the ``1998 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'98)''", Editor = "J. L. Freire-Nistal and M. Falaschi and M. Vilares-Ferro", Address = "A Coru\~na, Spain", Year = 1998, Pages = "255-267", }