@InCollection{zbMATH07178972，作者={Bromberger，Martin and Fleury，Mathias and Schwarz，Simon and Weidenbach，Christoph}，标题={{SPASS}（西班牙语）-{卫星}。{A} {CDCL}（{LA}）解算器}，BookTitle={自动扣除--CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27-30日。诉讼}，国际标准图书编号={978-3-030-29435-9；978-3-0.30-29436-6}，页码={111--122}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-29436-6_7}，关键词={03B35,68V15}，zbMATH=｛7178972｝}