"Dynamic Partitioning in Analyses of Numerical Properties."

Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics