A discrete and bounded envy-free cake cutting protocol for four agents · Study