@第{zbMATH06970292条，作者={Mignot、Ludovic和Ouali-Sebti、Nadia和Ziadi、Djelloul}，Title={构造方程树自动机的有效算法}，FJournal={国际计算机科学基础杂志}，日志={Int.J.Found.Comput.Sci.}，ISSN={0129-0541}，体积={29}，数字={6}，页码＝{951-978}，年份={2018年}，语言={英语}，DOI={10.1142/S012905411800156}，关键词={68Q45}，zbMATH={6970292}，Zbl=｛1402.68119｝}