@TechReport{LogozzoCortesi04,
  author = 	 {Logozzo, F{.} and Cortesi, A{.}},
  title = 	 {Semantic Class Hierarchies by Abstract Interpretation},
  institution =  {Department of Computer Science, University Ca' Foscari of Venice},
  year = 	 {2004},
  number = 	 {CS-2004-7},
  month = 	 oct
}