佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin，维萨卡;索菲·托雷特 使高阶叠加起作用。 （英语） Zbl 1512.68432号 J.汽车。推理 66，第4期，541-564（2022年）.MSC公司：第68卷第15页 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人，J.Autom。推理66，No.4，541--564（2022；Zbl 1512.68432） 全文： 内政部 哈尔
佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin，维萨卡;索菲·托雷特 使高阶叠加起作用。 （英语） Zbl 1512.68431号 AndréPlatzer等人，《自动扣除——CADE 28》。第28届自动扣款国际会议，虚拟活动，2021年7月12-15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 415-432 (2021).MSC公司：第68卷第15页 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人，Lect。注释计算。科学。12699、415--432（2021；Zbl 1512.68431） 全文： 内政部 OA许可证
亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 与lambdas重叠。 （英语） Zbl 07433023号 J.汽车。推理 65，第7期，893-940（2021）.MSC公司：第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人，J.Autom。推理65，No.7，893--940（2021；Zbl 07433023） 全文： 内政部 OA许可证
亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 与lambdas重叠。 （英语） Zbl 1471.03014号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 55-73 (2019). 审核人：Łukasz Czajka（多特蒙德） MSC公司：03B35型 03B16号 03B40型 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人，Lect。注释计算。科学。11716，55-73（2019；Zbl 1471.03014） 全文： 内政部 arXiv公司 哈尔