@收款{zbMATH05702234，作者={Gor{\'e}，Rajeev和Kupke，Clemens和Pattinson，Dirk}，Title={余代数逻辑的最优表算法}，BookTitle={用于系统构建和分析的工具和算法。2010年第16届国际会议，TACAS，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2010，塞浦路斯帕福斯，2010年3月20日至28日。诉讼}，国际标准图书编号={978-3-642-12001-5}，页码={114--128}，年份={2010}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-12002-2_9}，关键词={03B70,03B45,03G30}，zbMATH＝{5702234}，Zbl={1284.03207}}