Theoretical Aspects of Computing - ICTAC 2006 - Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio; Kanade, Takeo (Springer Berlin Heidelberg, 2006)