TY  - RPRT
TI  - Cheryl's Birthday
AU  - Hans van Ditmarsch
AU  - Michael Ian Hartley
AU  - Barteld Kooi
AU  - Jonathan Welton
AU  - Joseph B. W. Yeo
PY  - 2017
DO  - 10.4204/eptcs.251.1
UR  - https://arxiv.org/abs/1708.02654
ID  - 1708.02654
ER  -