Masaaki Kanno Kazuhiro Yokoyama Hirokazu Anai Shinji Hara Symbolic optimization of algebraic functions. 147-154 2008 ISSAC http://doi.acm.org/10.1145/1390768.1390791 conf/issac/2008 db/conf/issac/issac2008.html#KannoYAH08