Differently implicational α-universal triple I restriction method of (1, 2, 2) type

Yiming Tang, Fuji Ren, and Yanxiang Chen

Journal of Systems Engineering and Electronics . 2012, (4): 560 -573 . DOI: 10.1109/JSEE.2012.00070