Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions. - Thomas Wolf; Andreas Brand; M. Mohammadzadeh (J. Symb. Comput., 1999)