{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:56Z","timestamp":1725662996907},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164791"},{"type":"electronic","value":"9783540398202"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16479-0_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:44:43Z","timestamp":1330195483000},"page":"138-147","source":"Crossref","is-referenced-by-count":7,"title":["Implementation of temporal logic programming language Tokio"],"prefix":"10.1007","author":[{"given":"S.","family":"Kono","sequence":"first","affiliation":[]},{"given":"T.","family":"Aoyagi","sequence":"additional","affiliation":[]},{"given":"M.","family":"Fujita","sequence":"additional","affiliation":[]},{"given":"H.","family":"Tanaka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF03037426","volume":"1","author":"M. Fujita","year":"1983","unstructured":"M. Fujita, \"Temporal Logic Based Hardware Description and Its Verification with Prolog\", New Generation Computing, Vol. 1, No. 2, pp. 195\u2013203 1983.","journal-title":"New Generation Computing"},{"unstructured":"B. Moszkowski, \"Reasoning about Digital Circuits\", Report No. STAN-CS-83-970, Department of Computer Science, Stanford University, July 1983.","key":"14_CR2"},{"unstructured":"F. Pereira, \"C-Prolog Users Manual Version 1.5\" EdCAD, Edinburgh Univ. 1984.","key":"14_CR3"},{"unstructured":"E. Shapiro, \"A subset of Concurrent Prolog and its Interpreter\", TR-003, ICOT 1983.","key":"14_CR4"},{"doi-asserted-by":"crossref","unstructured":"K. Ueda, \"Guarded Horn Clauses\", TR-103, ICOT, 1985","key":"14_CR5","DOI":"10.1007\/3-540-16479-0_17"},{"unstructured":"D. Warren, \"AN ABSTRACT RPOLOG INSTRUCTION SET\", Technical Note 309, SRI International, October 1983.","key":"14_CR6"},{"doi-asserted-by":"crossref","unstructured":"P. Wolper, \"Temporal logic Can Be More Expressive\", 22nd Annual Symposium on Foundation of Computer Science, October 1981.","key":"14_CR7","DOI":"10.1109\/SFCS.1981.44"}],"container-title":["Lecture Notes in Computer Science","Logic Programming '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16479-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:43:30Z","timestamp":1687283010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16479-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164791","9783540398202"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-16479-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}