Proceedings of the 2012 27th Annual IEEEACM Symposium on Logic in Computer Science
ACM Digital Library