%0 Journal Article %A Peter Buser %A Bruno Scarpellini %T Undecidable propositions by ODE's %J Annales Fennici Mathematici %D 2007 %P 317-340 %V 32 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/AFM_2007_32_2_a1/ %G en %F AFM_2007_32_2_a1