Author: F Symposium on Theoretical Aspects of Computer Science 1996  Grenoble