David J. Jeffrey Integration to Obtain Expressions Valid on Domains of Maximum Extent. 34-41 1993 ISSAC http://doi.acm.org/10.1145/164081.164088 db/conf/issac/issac93.html#Jeffrey93