Mario Coppo Elena Lodi G. Michele Pinna Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings 3701 2005 3-540-29106-7 ICTCS Lecture Notes in Computer Science Springer db/conf/ictcs/ictcs2005.html