William Gay Bing-Yu Zhang Ning Zhong Computability of Solutions of the Korteweg-de Vries Equation. 93-110 2001 47 Math. Log. Q. 1 http://dx.doi.org/10.1002/1521-3870(200101)47:1<93::AID-MALQ93>3.0.CO;2-C db/journals/mlq/mlq47.html#GayZZ01