Theoretical Computer Science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings - Mario Coppo, Elena Lodi, G. Michele Pinna ((Lecture Notes in Computer Science))