Nan Guo; Wenwei Jiang; Jiayi Ouyang; Tianhan Gao; Bin Zhang. Efficient Attributes Proof on CNF Relation for EID System. ReBICTE 2016, 2, 105-116.