@收款{zbMATH05785449，作者={de Nivelle，Hans}，标题={带部分函数的经典逻辑}，BookTitle={自动推理。第五届国际联合会议，IJCAR 2010，英国爱丁堡，2010年7月16-19日。诉讼程序}，国际标准图书编号={978-3-642-14202-4}，页码={203--217}，年份={2010}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-14203-1_18}，关键词={03B70,03B15,03B35,03F05}，zbMATH={5785449}，Zbl={1291.03073}}