Shangmin Luan, Guozhong Dai. Fast Algorithms for Revision of Some Special Propositional Knowledge Bases. J. Comput. Sci. Technol., 18(3):388-392, 2003. [doi]
@article{LuanD03, title = {Fast Algorithms for Revision of Some Special Propositional Knowledge Bases}, author = {Shangmin Luan and Guozhong Dai}, year = {2003}, url = {http://jcst.ict.ac.cn/cone/cone33.html#paper14}, researchr = {https://researchr.org/publication/LuanD03}, cites = {0}, citedby = {0}, journal = {J. Comput. Sci. Technol.}, volume = {18}, number = {3}, pages = {388-392}, }