Wei Li Yuefei Sui Yuhui Wang Nonmonotonic propositional logic. 2021 February 15 Frontiers Comput. Sci. 1 https://doi.org/10.1007/s11704-020-7104-x db/journals/fcsc/fcsc15.html#LiSW21