@收款{zbMATH05785345，作者={Felty，Amy和Pientka，Brigitte}，Title={用高阶抽象语法和上下文进行推理：比较}，BookTitle={交互式定理证明。第一届国际会议，ITP 2010，英国爱丁堡，2010年7月11-14日。诉讼}，国际标准图书编号={978-3-642-14051-8}，页码={227--242}，年份={2010}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-14052-5_17}，关键词={68T15}，zbMATH={5785345}，Zbl={1291.68340}}