@inproceedings{ODE12,
  pages = {578--589},
  title = {Computational Complexity of Smooth Differential Equations},
  publisher = {Springer},
  author = {Akitoshi Kawamura and Hiroyuki Ota and Carsten R\"osnick and Martin
            Ziegler},
  series = {LNCS},
  year = {2012},
  booktitle = {Proc. 37th Int. Symp. Mathematical Foundations of Computer
               Science (MFCS)},
  volume = {7464},
}