@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/}",
}