@第{zbMATH07395150条，作者={Amram，Gal and Maoz，Shahar and Pistiner，Or}，标题={{GR}（1）*：{GR}-（1）使用存在保证扩展的规范}，FJournal＝{计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={33}，数字={4-5}，页码={729--761}，年份={2021}，语言={英语}，DOI={10.1007/s00165-021-00535-6}，关键词={68Q60,03B44,68Q85}，zbMATH={7395150}，Zbl={1519.68129}}