@第{zbMATH05997567条，作者={Henglein，Fritz and Larsen，Ken Fris}，Title={具有基于区分的联接和符号{笛卡尔}积}的通用多集编程，FJournal={高阶符号计算}，日志={高阶符号计算}，ISSN＝{1388-3690}，体积={23}，数字＝｛3｝，页码={337--370}，年份={2010}，语言={英语}，DOI={10.1007/s10990-011-9078-8}，关键词={68N19，68P15}，zbMATH={5997567}，Zbl={1232.68028}}