{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:17Z","timestamp":1725663677592},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_95","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:49:25Z","timestamp":1330192165000},"page":"147-158","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A framework to specify database update views for Prolog"],"prefix":"10.1007","author":[{"given":"Egon","family":"Boerger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"E. Boerger \u201cA Logical Operational Semantics of full Prolog. Part I:Selection Core and Control\u201d in: CSL'89. 3d Workshop on Computer Science Logic, Springer LNCS 440, 36\u201364.","DOI":"10.1007\/3-540-52753-2_31"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"E. Boerger \u201cA Logical Operational Semantics of full Prolog. Part II: Built-in Predicates for Database Manipulations\u201d in: MFCS'90. Mathematical Foundations of Computer Science (B.Rovan,Ed.), Springer LNCS 452, 1\u201314.","DOI":"10.1007\/BFb0029592"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"E. Boerger \u201cA Logical Operational Semantics of full Prolog. Part III: Built-in Predicates for Files, Terms, In-Output and Arithmetic\u201d in: Proc. Workshop Logic from Computer Science (Ed.Y.Moschovakis), MSRI Proceedings,Springer (to appear 1991)","DOI":"10.1007\/978-1-4612-2822-6_2"},{"key":"13_CR4","unstructured":"E. Boerger, D. Rosenzweig \u201cAn analysis of Prolog database views and their uniform implementation.\u201d CSE-TR-89-91, Computer Science and Engineering Division, University of Michigan, Ann Arbor, pp.44, April 1991."},{"key":"13_CR5","unstructured":"B. Demoen, \u201cFrom a specification to an implementation of a database update view for Prolog: a correctness proof\u201d CW-report 121, K.U.Leuven"},{"key":"13_CR6","unstructured":"in N64 \u201cProlog, Draft for Working Draft 4.0\u201d, R.S. Scowen; NPL Teddington, England"},{"key":"13_CR7","first-page":"264","volume":"43","author":"Y. Gurevich","year":"1991","unstructured":"Y. Gurevich \u201cLogic and The Challenge of Computer Science.\u201d in: E. Boerger (Ed.): Trends in theoretical Computer Science, Computer Science Press, pp. 1\u201357, 1988; see also by the same author \u201cEvolving Algebras, A tutorial Introduction\u201d, in EATCS Bulletin 43, 1991, 264\u2013284","journal-title":"EATCS Bulletin"},{"key":"13_CR8","unstructured":"T. Lindholm, R.A. O'Keefe, \u201cEfficient Implementation of a Defensible Semantics for Dynamic PROLOG Code\u201d ICLP 87 21\u201339, Melbourne 1987"},{"key":"13_CR9","first-page":"686","volume":"86","author":"C. Moss","year":"1986","unstructured":"C. Moss \u201cCut and Paste \u2014 Defining the impure primitives of Prolog\u201d ICLP 86 686\u2013694, 1986 London","journal-title":"ICLP"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_95","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:33:01Z","timestamp":1558254781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_95"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_95","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"4 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}