{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T08:27:49Z","timestamp":1672302469082},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1983,3,1]],"date-time":"1983-03-01T00:00:00Z","timestamp":415324800000},"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":[[1983,3]]},"DOI":"10.1007\/bf03037021","type":"journal-article","created":{"date-parts":[[2009,4,16]],"date-time":"2009-04-16T22:47:37Z","timestamp":1239922057000},"page":"49-62","source":"Crossref","is-referenced-by-count":1,"title":["Data abstraction in Prolog\/KR"],"prefix":"10.1007","volume":"1","author":[{"given":"Hideyuki","family":"Nakashima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norihisa","family":"Suzuki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037021_CR1","first-page":"51","volume-title":"The Memory System of a High-Performance Personal Computer,CSL-81-1","author":"D. W. Clark","year":"1981","unstructured":"Clark, D. W., Lampson, B. W., and Pier, K. A.: The Memory System of a High-Performance Personal Computer,CSL-81-1 (Xerox Palo Alto Research Center, Palo Alto CA, 1981) 51."},{"key":"BF03037021_CR2","unstructured":"Clark, K., and Tarnlund, S. A.: A First Order Theory of Data and Programs, Proc. IFIP (1977) 939."},{"key":"BF03037021_CR3","first-page":"14","volume":"6","author":"A. Goldberg","year":"1981","unstructured":"Goldberg, A.: Introducing the Smalltalk-80 System, BYTE,6 (1981) 14.","journal-title":"BYTE"},{"issue":"No. 12","key":"BF03037021_CR4","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J. H. Guttag","year":"1978","unstructured":"Guttag, J. H., Horowitz, E., and Musser, D. R.: Abstract Data Types and Software Validation, CACM,21, No. 12 (1978) 1048.","journal-title":"CACM"},{"issue":"No. 4","key":"BF03037021_CR5","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"B. Liskov","year":"1974","unstructured":"Liskov, B., and Zilles, S.: Programming with Abstract Data Types, SIGPLAN Notices,9, No. 4 (1974) 50.","journal-title":"SIGPLAN Notices"},{"key":"BF03037021_CR6","series-title":"METR 82-4","volume-title":"Prolog\/KR User\u2019s Manual","author":"H. Nakashima","year":"1982","unstructured":"Nakashima H.: Prolog\/KR User\u2019s Manual,METR 82-4 (University of Tokyo, Tokyo, 1982)."},{"key":"BF03037021_CR7","series-title":"Proc. of the First Int. Logic Programming Conf","first-page":"65","volume-title":"Prolog\/KR\u2014Language Features","author":"H. Nakashima","year":"1982","unstructured":"Nakashima H.: Prolog\/KR\u2014Language Features, Proc. of the First Int. Logic Programming Conf. (ADDP, Marseille, 1982) 65."},{"key":"BF03037021_CR8","series-title":"METR 83-5","volume-title":"A Knowledge Representation System: Prolog\/KR","author":"H. Nakashima","year":"1983","unstructured":"Nakashima H.: A Knowledge Representation System: Prolog\/KR,METR 83-5 (University of Tokyo, Tokyo, 1983)."},{"key":"BF03037021_CR9","series-title":"TR-003","volume-title":"A Subset of Concurrent Prolog and Its Interpreter","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E.: A Subset of Concurrent Prolog and Its Interpreter, ICOT Technical Report,TR-003 (ICOT, Tokyo, 1983)."},{"key":"BF03037021_CR10","series-title":"Proc. of Working Conf. on VLSI Eng","first-page":"105","volume-title":"Experience with Specification and Verification of Hardware Using PROLOG","author":"N. Suzuki","year":"1982","unstructured":"Suzuki, N.: Experience with Specification and Verification of Hardware Using PROLOG, Proc. of Working Conf. on VLSI Eng. (IBM Japan, Tokyo, 1982) 105."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037021.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037021\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:27Z","timestamp":1558558347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,3]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1983,3]]}},"alternative-id":["BF03037021"],"URL":"https:\/\/doi.org\/10.1007\/bf03037021","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983,3]]}}}