K. Marinelli and T. J. Peters, “Exact computation for existence of a knot counterexample”, Appl. Gen. Topol., vol. 20, no. 1, pp. 251–264, Apr. 2019.