{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:06:16Z","timestamp":1725483976347},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439301"},{"type":"electronic","value":"9783540456193"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45619-8_41","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T14:57:41Z","timestamp":1179586661000},"page":"478-479","source":"Crossref","is-referenced-by-count":0,"title":["A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Ferrand","sequence":"first","affiliation":[]},{"given":"Arnaud","family":"Lallouet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Victor W. Marek and Miros4law Truszczy\u0144ski. Stable Models and an Alternative Logic Programming Paradigm, pages 375\u2013378. Artificial Intelligence. Springer-Verlag, 1999.","key":"41_CR1","DOI":"10.1007\/978-3-642-60085-2_17"},{"issue":"34","key":"41_CR2","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Ilkka Niemel\u00e4. Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25(3,4):241\u2013273, 1999.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"41_CR3","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","volume":"XIII","author":"T. Przymusinski","year":"1990","unstructured":"T. Przymusinski. Well-founded semantics coincides with three-valued stable semantics. Fundamenta Informaticae, XIII:445\u2013463, 1990.","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"41_CR4","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Allen Van Gelder, Kenneth A. Ross, and John S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45619-8_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,13]],"date-time":"2021-08-13T23:20:32Z","timestamp":1628896832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45619-8_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439301","9783540456193"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-45619-8_41","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}