(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic | IEEE Conference Publication | IEEE Xplore