@收款{zbMATH01759448，作者={Prensa Nieto，Leonor和Esparza，Javier}，Title={使用{奥维基}-{Isabelle}/{HOL}}中的{Gries}，BookTitle={计算机科学数学基础2000。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的第25届国际研讨会，MFCS 2000。诉讼}，国际标准图书编号={3-540-67901-4}，页码={619--628}，年份={2000}，出版商={柏林：施普林格}，语言={英语}，关键词={68Q60,68T15}，zbMATH={1759448}，Zbl={0996.68518}}