Nan Guo, Wenwei Jiang, Jiayi Ouyang, Tianhan Gao, and Bin Zhang, “Efficient Attributes Proof on CNF Relation for eID System”, ReBICTE, vol. 2, pp. 105–116, Mar. 2016.