{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:58:53Z","timestamp":1742943533738,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_6","type":"book-chapter","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T23:49:46Z","timestamp":1338594586000},"page":"72-86","source":"Crossref","is-referenced-by-count":4,"title":["From Primal Infon Logic with Individual Variables to Datalog"],"prefix":"10.1007","author":[{"given":"Nikolaj","family":"Bj\u00f8rner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"de Caso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuri","family":"Gurevich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"122","volume":"102","author":"A. Blass","year":"2010","unstructured":"Blass, A., Gurevich, Y.: Hilbertian deductive systems, infon logic, and Datalog. Bull. of Euro. Assoc. for Theor. Computer Sci.\u00a0102, 122\u2013150 (2010), \n                  \n                    http:\/\/research.microsoft.com\/en-us\/um\/people\/gurevich\/Opera\/204.pdf","journal-title":"Bull. of Euro. Assoc. for Theor. Computer Sci."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Blass, A., Gurevich, Y., Moskal, M., Neeman, I.: Evidential authorization. In: Nanz, S. (ed.) The Future of Software Engineering, pp. 73\u201399. Springer (2011)","DOI":"10.1007\/978-3-642-15187-3_5"},{"key":"6_CR3","unstructured":"DKAL at CodePlex, \n                  \n                    http:\/\/dkal.codeplex.com\/"},{"key":"6_CR4","unstructured":"Gurevich, Y., Neeman, I.: DKAL 2: A simplified and improved authorization language. Tech. rep., MSR-TR-2009-11, Microsoft Research (2009)"},{"key":"6_CR5","unstructured":"Gurevich, Y., Neeman, I.: The infon logic. ACM Trans. on Computational Logic 12(2), article 9 (2009), \n                  \n                    http:\/\/research.microsoft.com\/en-us\/um\/people\/gurevich\/Opera\/198.pdf"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:56:39Z","timestamp":1558299399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}