TY  - RPRT
TI  - Garden of Eden and Specification
AU  - Hanfeng Li
PY  - 2018
DO  - 10.1017/etds.2018.6
UR  - https://arxiv.org/abs/1708.09012
ID  - 1708.09012
ER  -