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