Title: Proceedings Tenth Annual IEEE Symposium on Logicin Computer Science
First published: 1996