@第{zbMATH01071884条，作者={科尔西尼、马克·米切尔和劳齐、安托万}，Title={Toupie:{The}{{\（\mu\）}}-有限域上的演算作为约束语言}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={19}，数字={2}，页码={143--171}，年份={1997}，语言={英语}，DOI={10.1023/A:1005732517165}，关键词={03B70,68N17,68Q60,68T20}，zbMATH={1071884}，Zbl={0941.03532}}