{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T12:02:10Z","timestamp":1648814530425},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Comput. Sci. & Technol."],"published-print":{"date-parts":[[1998,5]]},"DOI":"10.1007\/bf02943187","type":"journal-article","created":{"date-parts":[[2008,9,11]],"date-time":"2008-09-11T20:15:21Z","timestamp":1221164121000},"page":"193-201","source":"Crossref","is-referenced-by-count":2,"title":["The least fixpoint transformation for disjunctive logic programs"],"prefix":"10.1007","volume":"13","author":[{"given":"Kewen","family":"Wang","sequence":"first","affiliation":[]},{"given":"Huowang","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Quanyuan","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02943187_CR1","first-page":"1","volume":"12","author":"J Minker","year":"1994","unstructured":"Minker J. Overview of disjunctive logic programming.Ann. Math. and AI., 1994, 12: 1\u201324.","journal-title":"Ann. Math. and AI."},{"issue":"1","key":"BF02943187_CR2","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/BF02916880","volume":"41","author":"K W Wang","year":"1998","unstructured":"Wang K W, Wu Q Y, Chen H W. Argumentation in disjunctive logic programming.Science in China Ser. E, 1998, 41(1): 106\u2013112.","journal-title":"Science in China Ser. E"},{"key":"BF02943187_CR3","unstructured":"Wang Kewen. On Disjunctive Logic Programming and Abduction. Ph.D. Dissertation, Nankai Institute of Mathematics, 1996, 4."},{"key":"BF02943187_CR4","doi-asserted-by":"crossref","unstructured":"Lloyd J. Foundations of Logic Programming (2nd Edition). Springer, 1987","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF02943187_CR5","doi-asserted-by":"crossref","unstructured":"Lobo J, Minker J, Rajaskar A. Foundations of Disjunctive Logic Programming. MIT Press, 1992.","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"key":"BF02943187_CR6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J Minker","year":"1990","unstructured":"Minker J, Rajasekar A. A fixed point semantics for disjunctive logic programs.J. Logic Programming, 1990, 9: 45\u201374.","journal-title":"J. Logic Programming"},{"key":"BF02943187_CR7","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"A Yahya","year":"1985","unstructured":"Yahya A, Henschen L. Deduction in non-Horn databases.J. Automated Reasoning, 1985, 1: 141\u2013160.","journal-title":"J. Automated Reasoning"},{"issue":"4","key":"BF02943187_CR8","first-page":"194","volume":"20","author":"K W Wang","year":"1997","unstructured":"Wang K W. Foundation to bi-di\u0161junctive logic programming I.Chinese Journal of Computers, 1997, 20(4): 194\u2013201.","journal-title":"Chinese Journal of Computers"},{"issue":"4","key":"BF02943187_CR9","first-page":"202","volume":"20","author":"K W Wang","year":"1997","unstructured":"Wang K W. Foundation to bi-disjunctive logic programming II.Chinese Journal of Computers, 1997, 20(4): 202\u2013208.","journal-title":"Chinese Journal of Computers"},{"issue":"3","key":"BF02943187_CR10","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1007\/BF02916841","volume":"27","author":"K W Wang","year":"1997","unstructured":"Wang K W, Chen H W, Wu Q Y. Consistency-based abduction with extended disjunctive logic programs.Science in China E, 1997, 27(3): 574\u2013582.","journal-title":"Science in China E"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943187.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943187\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T16:16:14Z","timestamp":1558455374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,5]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,5]]}},"alternative-id":["BF02943187"],"URL":"https:\/\/doi.org\/10.1007\/bf02943187","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,5]]}}}