@第{zbMATH06744073条，作者={Armando、Alessandro和Bonacina、Maria Paola和Ranise、Silvio和Schulz、Stephan}，标题={基于重写的可满足性过程的新结果}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={10}，数字={1}，页码={51}，注意＝{Id/No 4}，年份={2009}，语言={英语}，DOI={10.1145/1459010.1459014}，关键词={68T15,68Q42,68Q60}，zbMATH={6744073}，Zbl={1367.68243}}