@第{zbMATH07038740条，作者={Chargu{\'e}raud，Arthur and Pottier，Fran{\c{c}}ois}，Title={用时间信用验证分离逻辑中union-find实现的正确性和已摊销的复杂性}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={62}，数字={3}，页码={331--365}，年份={2019}，语言={英语}，DOI={10.1007/s10817-017-9431-7}，关键词={68Q60,03B70,68N18,68P05,68V20}，zbMATH={7038740}，Zbl={1468.68120}}