@收款{zbMATH05897395，作者={Conchon，Sylvain and Contejean，Evelyne and Iguernelala，Mohamed}，标题={经典重写和基础{AC}完成模{Shostak}理论}，BookTitle={系统构建和分析的工具和算法。第17届国际会议，TACAS 2011，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2011，德国萨尔布，2011年3月26日至4月3日。诉讼}，国际标准图书编号={978-3-642-19834-2}，页码={45--59}，年份={2011}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-19835-9_6}，关键词={68T15,03B25,03B35,03D40}，zbMATH={5897395}，Zbl={1315.68219}}