STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings - Helmut Alt, Michel Habib ((Lecture Notes in Computer Science))