Theoretical computer science, Vol.404(3), pp. 293-307 Zeitschrift uri icon