%0 Journal Article %1 simk-eite-08 %A Eiter, Thomas %A Simkus, Mantas %D 2010 %J Transactions on Computational Logic (TOCL) %K logics ontorule %N 2 %T FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols %V 11

@article{simk-eite-08, added-at = {2011-03-02T09:45:54.000+0100}, author = {Eiter, Thomas and {\v{Simkus}}, Mantas}, biburl = {https://www.bibsonomy.org/bibtex/2150f781eaec17b28984629810954e3f1/ontorule}, interhash = {1503ba9d16f5bb9c8c71f8cc8494806a}, intrahash = {150f781eaec17b28984629810954e3f1}, journal = {Transactions on Computational Logic (TOCL) }, keywords = {logics ontorule}, month = {April}, note = {Article 14 (50 + 16 pages)}, number = 2, projectref = {FWF-EQUIV,WASP}, timestamp = {2011-03-02T17:06:16.000+0100}, title = {{FDNC}: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols}, volume = 11, year = 2010 }