Ratschan, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
Ratschan, S. (2005). Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems. In Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning (pp. 213-216). Norderstedt, Germany: Books on Demand GmbH.