于存西;亚辛，阿提夫;苏天凯;阿兰·米什琴科;马西耶·西塞尔斯基 用于算术电路验证的重写环境。 （英语） Zbl 1415.68151号 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 656-666 (2018).MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Yu}等人，EPiC Ser。计算。57、656--666（2018；Zbl 1415.68151） 全文： 内政部
尼古拉斯·比舍尔;弗朗茨，马丁;安德烈亚斯·霍尔泽;赫尔穆特·维思;斯特凡·卡岑贝塞尔 关于编译为安全多方计算优化的布尔电路。 （英语） Zbl 1386.68020号 形式方法系统。设计。 51，第2号，308-331（2017）.MSC公司：64岁以下 68N20型 68第25页 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Büscher}等人，《形式方法系统》。设计。51，No.2，308--331（2017；Zbl 1386.68020） 全文： 内政部