Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2008). Efficient hierarchical reasoning about functions over numerical domains. In A. R. Dengel, K. Berns, T. M. Breuel, F. Bomarius, & T. R. Roth-Berghofer (Eds.), KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008 (pp. 135-143). Berlin: Springer.