@第{zbMATH06680943条，作者={Sloan，Robert H.和Stasi，Despina和Tur{'a}n，Gy{“o}rgy}，标题={Hydras:有向超图和{Horn}公式}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN＝{0304-3975}，体积={658}，页码={417--428}，年份={2017年}，语言={英语}，DOI={10.1016/j.tcs.2016.05.036}，关键词={68R10,03B05,05C20,05C65}，zbMATH={6680943}，Zbl={1357.68151}}