Elsevier, Journal of Symbolic Computation, (83), p. 211-227, 2017
DOI: 10.1016/j.jsc.2016.11.012
Export citation
Search in Google Scholar
Full text: Unavailable