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