On approximate decidability of minimal programs (2014)

by Jason Teutsch , Marius Zimand