Frederick W. Chapman An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. 50-57 2003 conf/issac/2003 ISSAC http://doi.acm.org/10.1145/860854.860873 db/conf/issac/issac2003.html#Chapman03