@第{zbMATH06723274条，作者={Ganardi，Moses and Hucke，Danny and Je，Artur and Lohrey，Markus and Noeth，Eric，Title={为公式构建小树文法和小电路}，FJournal={计算机与系统科学杂志}，期刊={J.Compute.Syst.Sci.}，ISSN={0022-0000}，体积={86}，页码={136--158}，年份={2017年}，语言={英语}，DOI={10.1016/j.jcss.2016.12.007}，关键词={68P05,68P30,68Q42}，URL={drops.dagstuhl.de/opus/volltexte/2014/4863/}，zbMATH={6723274}，Zbl={1370.68061}}