@PhdThesis{Zaffanella01th, Author = "E. Zaffanella", Title = "Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages", School = "School of Computing, University of Leeds", Address = "Leeds, U.K.", Year = 2001, Note = "Available at \url{http://www.cs.unipr.it/~zaffanella/}", }