F.利昂·普里查德 非交换多项式环中的理想隶属度问题。 27-48 1996 22 J.塞姆。计算。 1 db/journals/jsc/jsc22.html#Pritchard96 https://doi.org/10.1006/jsco.1996.040