Olga Caprotti Volker Sorge Integration of automated reasoning and computer algebra systems. 501-502 2005 39 J. Symb. Comput. 5 http://dx.doi.org/10.1016/j.jsc.2004.12.001 db/journals/jsc/jsc39.html#CaprottiS05