{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T11:01:46Z","timestamp":1775818906692,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540425939","type":"print"},{"value":"9783540454021","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_6","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T22:10:11Z","timestamp":1290204611000},"page":"81-92","source":"Crossref","is-referenced-by-count":9,"title":["Strong Equivalence for Logic Programs and Default Theories (Made Easy)"],"prefix":"10.1007","author":[{"given":"Hudson","family":"Turner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Michael Gelfondan d Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365\u2013385, 1991. 81","journal-title":"New Generation Computing"},{"key":"6_CR2","unstructured":"Michael Gelfond, Vladimir Lifschitz, Halina Przymusi\u0144ska, and Miroslaw Truszczy\u0144ski. Disjunctive defaults. In James Allen, Richard Fikes, and Erik Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proc. of the 2nd Int\u2019l Conference, pages 230\u2013237, 1991. 82, 87, 88"},{"issue":"2-3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1023\/A:1018978005636","volume":"25","author":"V. Lifschitz","year":"1999","unstructured":"Vladimir Lifschitz, L. R. Tang, and Hudson Turner. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence, 25(2-3):369\u2013390, 1999. 81, 82, 83, 86, 91","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Vladimir Lifschitz, David Pearce, and Agust\u00edn Valverde. Strongly equivalent logic programs. ACM Transactions on Computational Logic, To appear, 2001. (Pre-print version available at http:\/\/www.cs.utexas.edu\/users\/vl\/papers.html. ) 81, 84","DOI":"10.1145\/383779.383783"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"David Pearce. A new logical characterization of stable models andan swer sets. In J\u00fcrgen Dix, Luis Pereira, and Teodor Przymusinski, editors, Non-Monotonic Extensions of Logic Programming (Lecture Notes in Artificial Intelligence 1216), pages 57\u201370. Springer-Verlag, 1997. 81","DOI":"10.1007\/BFb0023801"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"David P earce. From here to there: stable negation in logic programming. In D. Gabbay and H. Wansing, editors, What is Negation? Kluwer, 1999. 81","DOI":"10.1007\/978-94-015-9309-0"},{"issue":"12","key":"6_CR7","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Raymond R eiter. A logic for default reasoning. Artificial Intelligence, 13(1,2):81\u2013132, 1980. 81","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,13]],"date-time":"2020-06-13T23:35:27Z","timestamp":1592091327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}