西蒙娜·奥尔赞;Tim A.C.Willemse。 参数化布尔方程系统的不变量。 (英语) Zbl 1191.68415号 西奥。计算。科学。 411,编号11-13,1338-1371(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Orzan}和\textit{T.A.C.Willemse},Theor。计算。科学。411,编号11--13,1338--1371(2010;Zbl 1191.68415) 全文: 内政部 链接
Jan Friso,格鲁特;Tim A.C.Willemse。 参数化布尔方程系统。 (英语) Zbl 1077.68061号 西奥。计算。科学。 343,第3期,332-369(2005).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse},Theor。计算。科学。343,第3号,332--369(2005;Zbl 1077.68061) 全文: 内政部 链接