Böhm-Decker-Schulze[2013]: Parallel algorithms for normalization (J. Symb. Comput.)

Class:
Publication
Identifier:
Located at: doi:/10.1016/j.jsc.2012.07.002