@InProceedings{HillS99,
  author = 	 {Hill, Patricia and Spoto, Fausto},
  title = 	 {Freeness {A}nalysis through {L}inear {R}efinement},
  booktitle = 	 {Static Analysis: Proceedings of the 6th International Symposium},
  year = 	 {1999},
  volume =       {1694},
  series = 	 {Lecture Notes in Computer Science},
  address = 	 {Venice, Italy},
  editor =       {A. Cortesi and G. Fil\'e},
  month = 	 {September},
  pages =        {85--100},
  publisher =    {Springer-Verlag},
  ISBN = {3-540-66459-9}
}