Alpunte，M。;D.巴利斯。;弗雷奇纳，F。;萨皮尼亚，J。 探索条件重写逻辑计算。 （英语） Zbl 1315.68166号 J.塞姆。计算。 69, 3-39 (2015).MSC公司：2012年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，J.Symb。计算。69、3--39（2015年；Zbl 1315.68166） 全文： 内政部
友大义达;周斌;施林格洛夫，伯恩德·霍尔格 带时间跟踪的有界延迟异步电路的验证。 （英语） Zbl 0929.94034号 Haeberer，Armando Martín（编辑），代数方法论和软件技术。第七届国际会议，1998年AMAST，巴西亚马逊河流域，1999年1月4日至8日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1548, 59-73 (1999).MSC公司：94立方厘米 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Yoneda}等人，Lect。注释计算。科学。1548，59--73（1999；Zbl 0929.94034）