Helmut Alt Michel Habib STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings STACS Lecture Notes in Computer Science 2607 Springer 2003 3-540-00623-0 db/conf/stacs/stacs2003.html