Proceeding of 4th Annual ACM Conference on Innovations in Theoretical Computer Science (ITCS'13) (2013), pp. 323-328
2013
Aleksandrs Belovs, Robert Spalek