%0 Journal Article %1 journals/tcs/BidoitF91 %A Bidoit, Nicole %A Froidevaux, Christine %D 1991 %J Theor. Comput. Sci. %K dblp %N 1 %P 86-112 %T Negation by Default and Unstratifiable Logic Programs. %U http://dblp.uni-trier.de/db/journals/tcs/tcs78.html#BidoitF91 %V 78

@article{journals/tcs/BidoitF91, added-at = {2021-02-17T00:00:00.000+0100}, author = {Bidoit, Nicole and Froidevaux, Christine}, biburl = {https://www.bibsonomy.org/bibtex/24777cab4eaef0ab01e01e2661dd75ae6/dblp}, ee = {https://doi.org/10.1016/0304-3975(51)90004-7}, interhash = {476fcd6b51054d85f0b8341446648edc}, intrahash = {4777cab4eaef0ab01e01e2661dd75ae6}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {86-112}, timestamp = {2024-04-08T18:36:56.000+0200}, title = {Negation by Default and Unstratifiable Logic Programs.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs78.html#BidoitF91}, volume = 78, year = 1991 }