STACS 96. 13th Annual Symposium on Theoretical Aspects of Computer Science. Proceedings