{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T12:11:35Z","timestamp":1714997495144},"reference-count":30,"publisher":"CRC Press","isbn-type":[{"value":"9781420059779","type":"print"},{"value":"9781420059786","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11,24]]},"DOI":"10.1081\/e-ese-120044145","type":"book-chapter","created":{"date-parts":[[2016,7,28]],"date-time":"2016-07-28T15:09:12Z","timestamp":1469718552000},"page":"414-441","source":"Crossref","is-referenced-by-count":0,"title":["Logic Programming"],"prefix":"10.1081","author":[{"given":"Manuel","family":"Carro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2016,7,28]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90012-9"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1145\/155360.155362"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1145\/359131.359136"},{"key":"CIT0004","volume-title":"The Art of Prolog","author":"Sterling L.","year":"1994","edition":"2"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.006"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_59"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02846-5_25"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/s00354-008-0053-9"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"CIT0011","volume-title":"From Logic Programming to Prolog","author":"Krzysztof R. Apt","year":"1997"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"CIT0014","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An Introduction","author":"Marriot K.","year":"1998"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227597"},{"key":"CIT0016","unstructured":"Ramakrishnan , C. R. Ramakrishnan , I. V. Smolka , S. Dong , Y. Du , X. Roychoudhury , A. Venkatakrishnan , V. XMC: A logic-programming-based verification toolset .International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Springer-Verlag : London , 2000 , Vol. 1855 , 576 \u2013 580 ."},{"key":"R0017","doi-asserted-by":"publisher","DOI":"10.1145\/504083.504085"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10022-5"},{"key":"CIT0019","first-page":"138","volume-title":"17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), LNCS Num. 4915","author":"Casas A."},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"CIT0022","first-page":"1070","volume-title":"International Conference on Logic Programming","author":"Gelfond M.","year":"1988"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44577-3_10"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45619-8_9"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.5"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1109\/52.73749"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1109\/32.92913"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1145\/219717.219771"},{"key":"CIT0031","volume-title":"Theory and Practice of Logic Programming","volume":"8","author":"Marchiori M.","year":"2008"}],"container-title":["Encyclopedia of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.crcnetbase.com\/doi\/pdf\/10.1081\/E-ESE-120044145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T21:31:39Z","timestamp":1568237499000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/10.1081\/E-ESE-120044145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,24]]},"ISBN":["9781420059779","9781420059786"],"references-count":30,"alternative-id":["10.1081\/E-ESE-120044145","10.1081\/E-ESE"],"URL":"https:\/\/doi.org\/10.1081\/e-ese-120044145","relation":{},"subject":[],"published":{"date-parts":[[2010,11,24]]}}}