Über die Äquivalenz von Polynomidentitäten in Ringen Walter Streb (1976) Rendiconti del Seminario Matematico della Università di Padova
Une condition impliquant toutes les identités rationnelles M. Boffa (1995) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications