@InCollection｛zbMATH106481867，作者＝Kun｛\v｛c｝ar，Ond｛\v｛r｝ej和Popescu，Andrei｝，标题={{Isabelle}/{HOL}}的一致基础，BookTitle={交互式定理证明。第六届国际会议，ITP 2015，南京，中国，2015年8月24-27日。诉讼}，国际标准图书编号={978-3-319-22101-4；978-3-3169-22102-1}，页码={234--252}，年份={2015年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-22102-1_16}，关键词={68V15,03B16,03B35}，URL={eprints.mdx.ac.uk/16073/1/isabelleHOL.pdf}，zbMATH={6481867}，Zbl={1433.68556}}