Authorship: Jesús Araujo Gómez; P.V. Bünau; J. D. Mitchell; M. Neunhöffer

 Fuente: Journal of symbolic computation

 Publisher: Elsevier

 Year of publication: 2010

 Publication type: Article

 DOI: 10.1016/j.jsc.2009.10.001

 ISSN: 0747-7171,1095-855X