Automated proof of ring commutativity problems by algebraic methods
scientific article; zbMATH DE number 4145324