Hirokazu Anai Volker Weispfenning Deciding linear-trigonometric problems. 14-22 2000 ISSAC http://doi.acm.org/10.1145/345542.345567 db/conf/issac/issac2000.html#AnaiW00