@收款{zbMATH07405990，作者={Subramani，K.和Wojciechowski，Piotr}，标题={Horn}约束系统}中的类树单位反驳，BookTitle={语言与自动机理论与应用。第15届国际会议，LATA 2021，米兰，意大利，2021年3月1-5日。诉讼}，国际标准图书编号={978-3-030-68194-4；978-3-0.30-68195-1}，页码={226--237}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-68195-1_18}，关键词={68Q45}，zbMATH={7405990}}