丹尼斯·佩特;维奥里卡Sofrone-Stokkerman 符号消除和参数蕴涵问题的应用。 （英语） Zbl 07497915号 Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 43-62 (2021).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{D.Peuter}和\textit{V.Sofronie-Stokkermans}，莱克特。注释计算。科学。12941，43-62（2021；Zbl 07497915） 全文： 内政部
丹尼斯·佩特尔;维奥里卡Sofrone-Stokkerman 关于参数系统的不变综合。 （英语） Zbl 07178988号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 385-405 (2019).MSC公司：60年第68季度 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Peuter}和\textit{V.Sofronie-Stokkermans}，莱克特。注释计算。科学。11716、385--405（2019；Zbl 07178988） 全文： 内政部 arXiv公司