Media type: E-Article Title: Algorithmic proofs of two theorems of Stafford Contributor: Leykin, Anton imprint: Elsevier BV, 2004 Published in: Journal of Symbolic Computation Language: English DOI: 10.1016/j.jsc.2004.07.003 ISSN: 0747-7171 Origination: Footnote: Access State: Open Access