蒂埃里·德拉图尔男孩 Mnacho Echenim公司 关于演绎模叶置换方程的复杂性。 271-317 2004 33 J.自动化。原因。 3-4 https://doi.org/10.1007/s10817-004-6244-2 db/journals/jar/jar33.html#TourE04