Proceedings of the 2015 30th Annual ACMIEEE Symposium on Logic in Computer Science (LICS)
ACM Digital Library