The ideal membership problem in non-commutative polynomial rings
scientific article; zbMATH DE number 994045