@收款{zbMATH05934340，作者={Alpunte，Mar{\'{i}}a和Ballis，Demis和Espert，Javier和Romero，Daniel}，标题={重写逻辑理论的向后跟踪切片}，BookTitle={自动扣除--CADE-23。2011年7月31日至8月5日在波兰Wroc{\l}aw举行的第23届自动扣减国际会议。诉讼}，ISBN＝{978-3-642-22437-9；978-3-642-22438-6}，页码={34--48}，年份={2011}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-22438-6_5}，关键词={68N30,03B70,68Q42}，zbMATH={5934340}，Zbl={1341.68026}}