STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings - Afonso Ferreira, Horst Reichel ((Lecture Notes in Computer Science))