@第{zbMATH06804627条，作者={Antoy，Sergio and Hanus，Michael}，标题={{Curry}}的默认规则，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={17}，数字={2}，页码={121--147}，年份={2017年}，语言={英语}，DOI={10.1017/S147106841600168}，关键词={68N17,68N18,68Q55}，zbMATH={6804627}，Zbl={1379.68037}}