%0 Journal Article %1 journals/tocl/DeneckerT08 %A Denecker, Marc %A Ternovska, Eugenia %D 2008 %J ACM Trans. Comput. Log. %K dblp %N 2 %P 14:1-14:52 %T A logic of nonmonotone inductive definitions. %U http://dblp.uni-trier.de/db/journals/tocl/tocl9.html#DeneckerT08 %V 9

@article{journals/tocl/DeneckerT08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Denecker, Marc and Ternovska, Eugenia}, biburl = {https://www.bibsonomy.org/bibtex/206dd57ceda9bea8711ff4c121bb2f562/dblp}, ee = {https://doi.org/10.1145/1342991.1342998}, interhash = {2676fa08be6dc59b9e7cf68ba2f8bb1b}, intrahash = {06dd57ceda9bea8711ff4c121bb2f562}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 2, pages = {14:1-14:52}, timestamp = {2018-11-07T12:18:18.000+0100}, title = {A logic of nonmonotone inductive definitions.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl9.html#DeneckerT08}, volume = 9, year = 2008 }