%0 Journal Article %1 journals/jcst/TaoSM97 %A Tao, Xuehong %A Sun, Wei %A Ma, Shaohan %D 1997 %J J. Comput. Sci. Technol. %K dblp %N 2 %P 154-159 %T A practical propositional knowledge base revision algorithm. %U http://dblp.uni-trier.de/db/journals/jcst/jcst12.html#TaoSM97 %V 12

@article{journals/jcst/TaoSM97, added-at = {2011-05-16T00:00:00.000+0200}, author = {Tao, Xuehong and Sun, Wei and Ma, Shaohan}, biburl = {https://www.bibsonomy.org/bibtex/229c0b0e17a43db7499da3f8fdd8c6569/dblp}, ee = {http://dx.doi.org/10.1007/BF02951334}, interhash = {8232be6a701fcba5ab156521e3ef1a94}, intrahash = {29c0b0e17a43db7499da3f8fdd8c6569}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 2, pages = {154-159}, timestamp = {2011-05-17T11:33:09.000+0200}, title = {A practical propositional knowledge base revision algorithm.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst12.html#TaoSM97}, volume = 12, year = 1997 }