Lecture notes in computer science, Vol.3004, pp. 177-187 Zeitschrift uri icon