@收款{zbMATH05528309，作者={Grinchtein，Olga和Leucker，Martin和Piterman，Nir}，标题={自动推断网络不变量}，BookTitle={自动推理。第三届国际联合会议，IJCAR 2006，西雅图，华盛顿州，美国，2006年8月17日至20日。诉讼}，国际标准图书编号={978-3-540-37187-8}，页码={483--497}，年份={2006}，出版商＝{柏林：施普林格}，语言={英语}，DOI={10.1007/11814771_40}，关键词={68T20,68Q60,68T15}，zbMATH={5528309}，Zbl={1222.68379}}