Haris Aziz, Simon Mackenzie. A discrete and bounded envy-free cake cutting protocol for four agents. In Daniel Wichs, Yishay Mansour, editors, Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016, Cambridge, MA, USA, June 18-21, 2016. pages 454-464, ACM, 2016. [doi]