Proceedings of the 2013 28th Annual ACMIEEE Symposium on Logic in Computer Science
ACM Digital Library