Theoretical computer science, Vol.349(1), pp. 92-98 Zeitschrift uri icon