@收款{zbMATH06778426，作者={F{\“a}rber，Michael and Kaliszyk，Cezary and Urban，Josef}，标题={Monte{Carlo}表格证明搜索}，BookTitle={自动扣除--CADE 26。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼}，ISBN＝{978-3-319-63045-8；978-3-319-63046-5}，页码={563--579}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-63046-5_34}，关键词={68V15,68T20}，zbMATH＝{6778426}，Zbl={1494.68286}}