@第{zbMATH07680284条，作者={Hashemi、Amir和Orth、Matthias和Seiler、Werner M.}，Title={对合基理论中的递归结构}，FJournal={符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积={118}，页码={32--68}，年份={2023}，语言＝{英语}，DOI={10.1016/j.jsc.2023.01.003}，关键词={13P10,13D02,68W30}，zbMATH={7680284}，Zbl={1511.13029}}