Sofronie-Stokkermans, V.(2008). Efficient Hierarchical Reasoning about Functions over Numerical Domains (ATR45). SFB/TR 14 AVACS.