Classification of reduction invariants with improved backpropagation. (22nd April 2002)