%0 Journal Article %1 journals/apal/MarekNR94 %A Marek, V. Wiktor %A Nerode, Anil %A Remmel, Jeffrey B. %D 1994 %J Ann. Pure Appl. Log. %K dblp %N 1-3 %P 269-323 %T A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. %U http://dblp.uni-trier.de/db/journals/apal/apal67.html#MarekNR94 %V 67

@article{journals/apal/MarekNR94, added-at = {2020-02-21T00:00:00.000+0100}, author = {Marek, V. Wiktor and Nerode, Anil and Remmel, Jeffrey B.}, biburl = {https://www.bibsonomy.org/bibtex/29fd16f45f03e088a3decf88d2db34f41/dblp}, ee = {https://doi.org/10.1016/0168-0072(94)90013-2}, interhash = {0a25b4987ab0597b2089d34338beab16}, intrahash = {9fd16f45f03e088a3decf88d2db34f41}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-3}, pages = {269-323}, timestamp = {2020-02-22T12:47:23.000+0100}, title = {A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal67.html#MarekNR94}, volume = 67, year = 1994 }