Massimo Caboara Lorenzo Robbiano Families of estimable terms. 56-63 2001 ISSAC http://doi.acm.org/10.1145/384101.384110 db/conf/issac/issac2001.html#CaboaraR01