STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings - Horst Reichel, Sophie Tison ((Lecture Notes in Computer Science))