{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:24:02Z","timestamp":1762100642071},"reference-count":4,"publisher":"Association for Computing Machinery (ACM)","issue":"1","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.1145\/1182613.1189735","type":"journal-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T19:20:08Z","timestamp":1175800808000},"page":"7","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Erratum to splitting an operator"],"prefix":"10.1145","volume":"8","author":[{"given":"Joost","family":"Vennekens","sequence":"first","affiliation":[{"name":"K.U. Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Gilis","sequence":"additional","affiliation":[{"name":"K.U. Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[{"name":"K.U. Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,1]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/167977.167981"},{"key":"e_1_2_1_2_1","first-page":"2","article-title":"On the impact of stratification on the complexity of nonmonotonic reasoning","volume":"4","author":"Niemel\u00e4 I.","year":"1994","unstructured":"Niemel\u00e4 , I. and Rintanen , J. 1994 . On the impact of stratification on the complexity of nonmonotonic reasoning . J. Appl. Nonclassic. Logics 4 , 2 . Niemel\u00e4, I. and Rintanen, J. 1994. On the impact of stratification on the complexity of nonmonotonic reasoning. J. Appl. Nonclassic. Logics 4, 2.","journal-title":"J. Appl. Nonclassic. Logics"},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the 13th National Conference on Artificial Intelligence and the 8th Innovative Applications of Artificial Intelligence Conference. AAAI Press, 645--651","author":"Turner H.","year":"1996","unstructured":"Turner , H. 1996 . Splitting a default theory . In Proceedings of the 13th National Conference on Artificial Intelligence and the 8th Innovative Applications of Artificial Intelligence Conference. AAAI Press, 645--651 . Turner, H. 1996. Splitting a default theory. In Proceedings of the 13th National Conference on Artificial Intelligence and the 8th Innovative Applications of Artificial Intelligence Conference. AAAI Press, 645--651."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183278.1183284"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1182613.1189735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T18:54:04Z","timestamp":1672253644000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1182613.1189735"}},"subtitle":["Algebraic modularity results for logics with fixpoint semantics"],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":4,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,1]]}},"alternative-id":["10.1145\/1182613.1189735"],"URL":"https:\/\/doi.org\/10.1145\/1182613.1189735","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1]]},"assertion":[{"value":"2007-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}