马蒂亚斯·苏肯;杰哈德·杜克（Gerhard W.Dueck）。;D.迈克尔·米勒 一种基于符号变换的快速可逆逻辑综合算法。 （英语） Zbl 1480.94056号 Devitt，Simon（编辑）等人，《可逆计算》。2016年7月7日至8日，第八届国际会议，RC 2016，意大利博洛尼亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9720, 307-321 (2016).MSC公司：94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{M.Soeken}等人，莱克特。注释计算。科学。9720，307--321（2016；Zbl 1480.94056） 全文： DOI程序
罗尔夫·德雷克斯勒;D.迈克尔·米勒 多值逻辑中的决策图。 （英语） Zbl 1025.94514号 多重-有价值的日志。 4，编号1-2，1-8（1998）.MSC公司：94立方厘米10 94-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Drechsler}和\textit{D.M.Miller}，Mult-有价值的日志。4，编号1--2，1--8（1998；Zbl 1025.94514）