Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
ACM Digital Library