{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T19:52:42Z","timestamp":1693857162628},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1990,2,1]],"date-time":"1990-02-01T00:00:00Z","timestamp":633830400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1990,2]]},"DOI":"10.1007\/bf03037204","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:48:42Z","timestamp":1240368522000},"page":"159-177","source":"Crossref","is-referenced-by-count":7,"title":["A new external reference management and distributed unification for KL1"],"prefix":"10.1007","volume":"7","author":[{"given":"Nobuyuki","family":"Ichiyoshi","sequence":"first","affiliation":[]},{"given":"Kazuaki","family":"Rokusawa","sequence":"additional","affiliation":[]},{"given":"Katsuto","family":"Nakajima","sequence":"additional","affiliation":[]},{"given":"Yu","family":"Inamura","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037204_CR1","doi-asserted-by":"crossref","unstructured":"Bevan, D. I., \u201cDistributed garbage collection using reference counting,\u201d inProceedings of Parallel Architectures and Languages Europe, pp. 176\u2013187, June, 1987.","DOI":"10.1007\/3-540-17945-3_10"},{"key":"BF03037204_CR2","unstructured":"Chikayama, T. and Kimura, Y., \u201cMultiple reference management in Flat GHC\u201d, inProceedings of the Fourth International Conference on Logic Programming, pp. 276\u2013293, 1987."},{"issue":"1","key":"BF03037204_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. L. Clark","year":"1986","unstructured":"Clark, K. L. and Gregory, S., \u201cPARLOG: parallel programming in logic\u201d,ACM Transactions on Programming Languages and Systems, 8(1), pp. 1\u201349, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF03037204_CR4","unstructured":"Foster, I., \u201cParlog as a System Programming Language\u201d,Ph.D Thesis, Imperial College of Science and Technology, March, 1988, to be published by Prentice Hall."},{"key":"BF03037204_CR5","unstructured":"Foster, I., \u201cParallel implementation of parlog\u201d, inProceedings of the 1988 International Conference on Parallel Processing, Vol. II Software, pp. 9\u201316, 1988."},{"key":"BF03037204_CR6","unstructured":"Foster, I., \u201cAn asynchronous parallel garbage collector for a single-assignment language\u201d, to appear asImperial College Technical Report, 1988."},{"key":"BF03037204_CR7","unstructured":"Goto, A., \u201cParallel inference machine research in FGCS project\u201d, inProceedings of US-Japan AI Symposium 87, pp. 21\u201336, 1987."},{"key":"BF03037204_CR8","unstructured":"Goto, A., Kimura, Y., Nakagawa, T. and Chikayama, T., \u201cLazy reference counting\u2014an incremental garbage collection method for parallel inference machines\u201d, inProceedings of the Fifth International Conference and Symposium on Logic Programming, pp. 1241\u20131256, 1988."},{"key":"BF03037204_CR9","unstructured":"Ichiyoshi, N., Miyazaki, T. and Taki, K., \u201cA distributed implementation of Flat GHC on the Multi-PSI\u201d, inProceedings of the Fourth International Conference on Logic Programming, pp. 257\u2013275, 1987."},{"key":"BF03037204_CR10","unstructured":"Nakajima, K., \u201cPiling GC\u2014Efficient Garbage Collection for AI Languages\u201d,ICOT Technical Report, TR-354, 1988. Also to appear inProceeding of the IFIP WG 10. 3 Working Conference on Parallel Processing, 1988."},{"key":"BF03037204_CR11","unstructured":"Nakashima, H. and Nakajima, K., \u201cHardware architecture of the sequential inference machine: PSI-II\u201d, inProceedings of 1987 Symposium on Logic Programming, pp. 104\u2013113, September, 1987."},{"key":"BF03037204_CR12","unstructured":"Rokusawa, K., Ichiyoshi, N., Chikayama, T. and Nakashima, H., \u201cAn efficient termination detection and abortion algorithm for distributed processing systems\u201d, inProceedings of the 1988 International Conference on Parallel Processing, Vol. I Architecture, pp. 18\u201322, 1988."},{"key":"BF03037204_CR13","unstructured":"Shapiro, E., \u201cSystolic programming: A paradigm of parallel programming\u201d, inProceeding of the International Conference on New Generation Computer Systems 1984, pp. 458\u2013470, 1984."},{"key":"BF03037204_CR14","unstructured":"Shapiro, E., \u201cA Subset of Concurrent Prolog and Its Interpreter\u201d,ICOT Technical Report, TR-003, January, 1983."},{"key":"BF03037204_CR15","unstructured":"Taki, K., \u201cThe parallel software research and development tool: Multi-PSI system\u201d, inProceedings of France-Japan Artificial Intelligence and Computer Science Symposium 1986, pp. 365\u2013381, 1986."},{"issue":"3","key":"BF03037204_CR16","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF01414556","volume":"15","author":"S. Taylor","year":"1987","unstructured":"Taylor, S., Safra, S. and Shapiro, E., \u201cA parallel implementation of Flat Concurrent Prolog\u201d,International Journal of Parallel Programming, 15(3), pp. 245\u2013275, 1987.","journal-title":"International Journal of Parallel Programming"},{"key":"BF03037204_CR17","doi-asserted-by":"crossref","unstructured":"Ueda, K., \u201cGuarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard\u201d,ICOT Technical Report, TR-208, 1986.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"BF03037204_CR18","doi-asserted-by":"crossref","unstructured":"Watson, P. and Watson, I., \u201cAn efficient garbage collection scheme for parallel computer architectures\u201d, inProceedings of Parallel Architectures and Languages Europe, pp. 432\u2013443, June, 1987.","DOI":"10.1007\/3-540-17945-3_25"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037204.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037204\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:31Z","timestamp":1558572751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,2]]},"references-count":18,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1990,2]]}},"alternative-id":["BF03037204"],"URL":"https:\/\/doi.org\/10.1007\/bf03037204","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,2]]}}}