TY  - RPRT
TI  - Well structured program equivalence is highly undecidable
AU  - Robert Goldblatt
AU  - Marcel Jackson
PY  - 2011
DO  - 10.1145/2287718.2287726
UR  - https://arxiv.org/abs/1103.1433
ID  - 1103.1433
ER  -