雷霍特，乔纳斯·沃尔珀斯；罗伯特·格莱克；马蒂斯·克鲁斯 走向去可逆化：静态地减少断言。 （英语） Zbl 07786598号 Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 106-114 (2023).MSC公司：2009年第68季度 第68季度10 81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Reholt}等人，Lect。注释计算。科学。13960、106-114（2023；Zbl 07786598） 全文： 内政部
维多利亚州霍兰；史蒂夫·阿达奇；斯坦利·巴克 图上找出最小识别码的方法的比较。 （英语） Zbl 1338.81136号 量子信息处理。 第15期，第5期，1827-1848（2016）.MSC公司：81页68 PDF格式BibTeX公司 XML格式引用 \textit｛V.Horan｝等人，量子信息过程。15，第5号，1827--1848（2016；Zbl 1338.81136） 全文： 内政部 arXiv公司