{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:25:27Z","timestamp":1726406727554},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180241"},{"type":"electronic","value":"9783540477129"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"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":[[1987]]},"DOI":"10.1007\/3-540-18024-9_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:24:01Z","timestamp":1330179841000},"page":"46-57","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A prototype software simulator for FGHC"],"prefix":"10.1007","author":[{"given":"Y.","family":"Ohara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Torii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Ono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Kishishita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Tanaka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Miyazaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"5_CR1","unstructured":"Miyazaki T, Taki K (1986) Flat GHC Implementation on Multi-PSI. The Logic Programming Conference '86, pp.83\u201392 (in Japanese)"},{"key":"5_CR2","unstructured":"Murakami K (1986) The Study of Unifier on Parallel Inference Machine, Tasking Group of Computer System, The Institute of Electronics and Communication Engineers of Japan (in Japanese)"},{"key":"5_CR3","unstructured":"Shapiro E Y (1984) Systolic Programming. A Paradigm of Parallel Processing, Proceedings of the International Conference on Fifth Generation on Computer Systems '84, pp.458\u2013470"},{"key":"5_CR4","series-title":"ICOT Technical Report TR-103","volume-title":"Guarded Horn Clauses","author":"K Ueda","year":"1985","unstructured":"Ueda K (1985) Guarded Horn Clauses. ICOT Technical Report TR-103, Institute for New Generation Computer Technology, Tokyo"},{"key":"5_CR5","unstructured":"Ueda K, Chikayama T (1985) Concurrent Prolog Compiler on Top of Prolog, In Proc. 1985 Symp. on Logic Programming, IEEE Computer Society, pp. 119\u2013126"}],"container-title":["Lecture Notes in Computer Science","Logic Programming '86"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18024-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:36:32Z","timestamp":1558254992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18024-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180241","9783540477129"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-18024-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]},"assertion":[{"value":"4 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}