Christian Choffrut Thomas Lengauer STACS 90, 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings STACS Lecture Notes in Computer Science 415 Springer 1990 db/conf/stacs/stacs90.html 3-540-52282-4