Proceedings of the 4th conference on Innovations in Theoretical Computer Science
ACM Digital Library