Proceedings of the 31st Annual ACMIEEE Symposium on Logic in Computer Science
ACM Digital Library