罗尔夫·德雷克斯勒（编辑）;马蒂亚斯·苏肯（编辑） 高级布尔技术。2018年9月19-21日在德国不来梅举行的第十三届布尔问题国际研讨会上的论文选集。 （英语） Zbl 1416.94005号 查姆：施普林格（ISBN 978-3-030-20322-1/hbk；978-3-0.30-20323-8/电子书）。viii，第265页。(2020).MSC公司：94-06 68-06 2007年7月68日 94C11号机组 94D10号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Drechsler}（编辑）和\textit{M.Soeken}（主编），高级布尔技术。2018年9月19-21日，德国不来梅，第13届布尔问题国际研讨会论文选集。商会：施普林格（2020；兹比尔1416.94005） 全文： 内政部
伊夫·克拉玛（编辑）;彼得·哈默。（编辑） 数学、计算机科学和工程中的布尔模型和方法。 （英语） Zbl 1196.06001号 数学及其应用百科全书134.剑桥：剑桥大学出版社（ISBN 978-0-521-84752-0/hbk）。十八、759页。(2010).MSC公司：2006年6月 03-06 68-06 94-06 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Crama}（编辑）和\textit{P.L.Hammer}（主编），数学、计算机科学和工程中的布尔模型和方法。剑桥：剑桥大学出版社（2010；Zbl 1196.06001）