Kerner, W., & Steuerwald, J.(1974). A Contribution to the Efficent Solution of Extensive Symbolic Computations (IPP 6/123). Garching (DE): Max-Planck-Institut für Plasmaphysik.