Two Normal Forms Based on Generalized Possibilistic Computation Tree Logic
ZHAO Jie, LI Yongming
Journal of Frontiers of Computer Science and Technology . 2016, (10): 1475 -1481 .  DOI: 10.3778/j.issn.1673-9418.1507053