Parallel algorithms for normalization

Janko Böhm, Wolfram Decker, Santiago Laplagne, Gerhard Pfister, Andreas Steenpaß, Stefan Steidel. Parallel algorithms for normalization. Journal of Symbolic Computation, 51:99-114, 2013. [doi]

Abstract

Abstract is missing.