@收款{zbMATH05275857，作者={Mazza，Damiano and Pagani，Michele}，Title={微分相互作用网的分离定理}，BookTitle={编程、人工智能和推理逻辑。第14届国际会议，LPAR 2007，亚美尼亚埃里温，2007年10月15日至19日。诉讼}，国际标准图书编号={978-3-540-75558-6}，页码={393--407}，年份={2007}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-75560-9_29}，关键词={03F52,03F07}，zbMATH={5275857}，Zbl={1137.03325}}