Stanley Burris John Lawrence The Equivalence Problem for Finite Rings. 67-71 1993 15 J. Symb. Comput. 1 db/journals/jsc/jsc15.html#BurrisL93