Proceedings Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE

IEEE Computer society