摘要
唐纳德·科努斯（Donald Knuth）。 《计算机编程的艺术》，第4卷，草稿，2006年。 http://www-cs-factory.stanford.edu/ ~/knuth/taocp.html。 谷歌学者 
数字图书馆 
A.Mishchenko和R.Brayton。 多值逻辑综合的布尔范式。 在 程序。 IgVLS’02，2002年6月，第173-177页。 , 2002. citeseer.ist.psu.edu/aricle/mishchenko02boolean.html。 谷歌学者 里德尔先生。 循环组合电路。 在 加州理工大学博士学位论文。 , 2004. citeseer.ist.psu.edu/riede104cyclic.html。 谷歌学者 数字图书馆 保罗·塔劳和布伦达·卢德曼。 组合电路综合的逻辑程序框架。 在 第23届逻辑程序设计国际会议（ICLP），LNCS 4670 ，第180-194页，葡萄牙波尔图，2007年9月。 斯普林格。 谷歌学者 数字图书馆
建议
精确组合逻辑综合与非标准电路设计 CF'08：第五届计算机前沿会议记录 使用一个新的自动生成最小通用布尔函数库的精确合成器，我们引入了两个指标来比较它们的表达能力：第一个指标基于合成所有二进制运算符所使用的门的数量。。。 组合电路综合的逻辑编程框架 ICLP’07：第23届逻辑编程国际会议记录 逻辑编程语言和组合电路综合工具共享一个共同的“逻辑公式组合搜索”背景。 本文试图重新连接这两个字段，重新审视组合…的Prolog编码。。。
