{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:22Z","timestamp":1761611242808},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1990,4,1]],"date-time":"1990-04-01T00:00:00Z","timestamp":638928000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1990,4]]},"DOI":"10.1007\/bf03037453","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:52:46Z","timestamp":1240541566000},"page":"381-404","source":"Crossref","is-referenced-by-count":20,"title":["The programming language GCLA \u2014 A definitional approach to logic programming"],"prefix":"10.1007","volume":"7","author":[{"given":"Martin","family":"Aronsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars-Henrik","family":"Eriksson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anette","family":"G\u00e4redal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Halln\u00e4s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Olin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037453_CR1","unstructured":"Aronsson, M., \u201cThe GCLA User\u2019s Manual,\u201dTechnical Report, SICS T89012, Swedish Institute of Computer Science, 1989."},{"key":"BF03037453_CR2","unstructured":"Aronsson, M., \u201cThe Instruction Set for the GCLA Abstract Machine,\u201dResearch Report, SICS R89002, Swedish Institute of Computer Science, 1989."},{"key":"BF03037453_CR3","unstructured":"Eriksson, L.-H. and Halln\u00e4s, L., \u201cA Programming Calculus Based on Partial Inductive Definitions,\u201dResearch Report, SICS R88013, Swedish Institute of Computer Science, 1988."},{"key":"BF03037453_CR4","unstructured":"Fredholm, D. and Serafimovski, S., \u201cPartial Inductive Definitions as Type Systems for \u03bb-terms,\u201dMaster\u2019s thesis, Department of Mathematics, University of Stockholm, 1988. Unpublished."},{"key":"BF03037453_CR5","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M. and Reyle, U., \u201cN-PROLOG: An Extension of Prolog with Hypothetical Implications: I,\u201dJournal of Logic Programming,Vol. 1,No. 4, 1984.","DOI":"10.1016\/0743-1066(84)90029-3"},{"issue":"No. 1","key":"BF03037453_CR6","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF03037052","volume":"2","author":"M. Hagiya","year":"1984","unstructured":"Hagiya, M. and Sakurai, T., \u201cFoundation of Logic Programming Based on Inductive Definition,\u201dNew Generation Computing, Vol. 2, No. 1, pp. 59\u201377, 1984.","journal-title":"New Generation Computing"},{"key":"BF03037453_CR7","unstructured":"Halln\u00e4s, L., \u201cPartial Inductive Definitions,\u201d inWorkshop on General Logic, Report, ECS-LFCS-88-52 (Avron, A. et al. eds.), Department of Computer Science, University of Edinburgh, 1987. Also published asResearch Report, SICS R86005C by the Swedish Institute of Computer Science, 1988. A revised version to appear inTheoretical Computer Science."},{"key":"BF03037453_CR8","unstructured":"Halln\u00e4s, L. and Schroeder-Heister, P., \u201cA Proof\u2014Theoretic Approach to Logic Programming. I. Generalized Horn Clauses,\u201dResearch Report, SICS R88005, Swedish Institute of Computer Science, 1987."},{"key":"BF03037453_CR9","unstructured":"Hayes-Roth, F., Waterman, D. A. and Lenat, D. B.,Building Expert Systems, Addison-Wesley Publishing Company Inc., 1983."},{"key":"BF03037453_CR10","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,Foundations of Logic Programming, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF03037453_CR11","doi-asserted-by":"crossref","unstructured":"Miller, D., \u201cA Theory of Modules for Logic Programming,\u201dProceedings of the 1986 Symposium on Logic Programming, IEEE Computer Society Press, 1986.","DOI":"10.1007\/3-540-16492-8_94"},{"key":"BF03037453_CR12","series-title":"Proceedings of the Third International Conference on Logic Programming","first-page":"624","volume-title":"Negation and Quantifiers in NU-Prolog","author":"L. Naish","year":"1986","unstructured":"Naish, L., \u201cNegation and Quantifiers in NU-Prolog,\u201dProceedings of the Third International Conference on Logic Programming, pp. 624\u2013634, Springer-Verlag, Berlin, 1986."},{"key":"BF03037453_CR13","doi-asserted-by":"crossref","unstructured":"Nilsson, N. J.,Principles of Artificial Intelligence, Springer-Verlag, 1982.","DOI":"10.1007\/978-3-662-09438-9"},{"key":"BF03037453_CR14","unstructured":"Warren, D. H. D., \u201cAn Abstract Prolog Instruction Set,\u201dTechnical Note, 309, SRI International, October 1983."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037453.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037453\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T22:43:08Z","timestamp":1684968188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037453"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,4]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1990,4]]}},"alternative-id":["BF03037453"],"URL":"https:\/\/doi.org\/10.1007\/bf03037453","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,4]]}}}