Proceedings of the 5th conference on Innovations in theoretical computer science
ACM Digital Library