@收款{zbMATH07691340，作者={Alpunte，Mar{'{i}}a和Ballis，Demis和Escobar，Santiago和Sapi，Julia}，标题={基于变量的方程反统一}，BookTitle={基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼}，国际标准图书编号={978-3-031-16766-9；978-3-331-16767-6}，Pages={44-60}，年份={2022}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-031-16767-6_3}，关键词={68Q42}，zbMATH={7691340}，Zbl={1522.68251}}