Benjamin A. Burton Alexander He 0001 On the hardness of finding normal surfaces. 2019 abs/1912.09051 CoRR http://arxiv.org/abs/1912.09051 db/journals/corr/corr1912.html#abs-1912-09051