Nan Guo, Wenwei Jiang, Jiayi Ouyang, Tianhan Gao, Bin Zhang. Efficient Attributes Proof on CNF Relation for eID System. ReBICTE [Internet]. 2016 Mar. 31 [cited 2025 Feb. 2];2:105-16. Available from: https://rebicte.org/index.php/rebicte/article/view/39