TY  - RPRT
TI  - On approximate decidability of minimal programs
AU  - Jason Teutsch
AU  - Marius Zimand
PY  - 2014
UR  - https://arxiv.org/abs/1409.0496
ID  - 1409.0496
ER  -