Thierry Boy de la Tour和Mnacho Echenim：关于演绎模叶置换方程的复杂性。(2004) 日志/jar/TourE04 2007年10月10日/S10817-004-6244-2 关于演绎模叶置换方程的复杂性。 2 蒂埃里·德拉图尔男孩 1 Mnacho Echenim公司 2 271-317 J.自动化。原因。 J.自动化。原因。 33 3-4 2004 dblp记录“journals/jar/TourE04”的RDF数据的来源信息 2020-09-02T13:30:05+0200