%0 Journal Article %1 journals/tcs/NerodeRS97 %A Nerode, Anil %A Remmel, Jeffrey B. %A Subrahmanian, V. S. %D 1997 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 111-146 %T Annotated Nonmonotonic Rule Systems. %U http://dblp.uni-trier.de/db/journals/tcs/tcs171.html#NerodeRS97 %V 171

@article{journals/tcs/NerodeRS97, added-at = {2021-02-17T00:00:00.000+0100}, author = {Nerode, Anil and Remmel, Jeffrey B. and Subrahmanian, V. S.}, biburl = {https://www.bibsonomy.org/bibtex/24021ecd8bdc2577823d8d077db7df171/dblp}, ee = {https://doi.org/10.1016/S0304-3975(96)00127-2}, interhash = {e361cd06c265b305e05aa0d86246579c}, intrahash = {4021ecd8bdc2577823d8d077db7df171}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {111-146}, timestamp = {2024-04-08T18:44:12.000+0200}, title = {Annotated Nonmonotonic Rule Systems.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs171.html#NerodeRS97}, volume = 171, year = 1997 }