000 00207nas a2200085Ia 4500
008 160622c99999999xx |||||||||||| ||und||
245 _aJournal of Symbolic Computation
260 _bElsevier
942 _cBV
999 _c29001
_d29001
690 _aComputer Science
362 _11