1. Evidential support logic programming;Baldwin;J. Fuzzy Sets Systems,1987
2. Unified theory of multivalued logical operations in the light of the checklist paradigm;Bandler;IEEE Trans. Systems Man Cybernet,1984
3. Paraconsistent logic programming;Blair;Theoret. Comput. Sci.,1987