Knosit
STACS 94 by Symposium on Theoretical Aspects of Computer Science (11th 1994 Caen, France) - Knosit