Non-commutative graded homological identities - Jørgensen, Peter (1995)