Domains for arithmetical expressions
Author: Roberto Virga
