%0 Journal Article
%T Constructive reverse investigations into differential equations
%A Hannes Diener
%A Iris Loeb
%J Journal of Logic and Analysis
%D 2011
%I Journal of Logic and Analysis
%R 10.4115/jla.v3i0.114
%U http://www.logicandanalysis.org/index.php/jla/article/view/114