{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T00:19:18Z","timestamp":1648513158577},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1986,6,1]],"date-time":"1986-06-01T00:00:00Z","timestamp":517968000000},"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":[[1986,6]]},"DOI":"10.1007\/bf03037440","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:41:40Z","timestamp":1240540900000},"page":"153-187","source":"Crossref","is-referenced-by-count":2,"title":["Computation of full logic programs using one-variable environments"],"prefix":"10.1007","volume":"4","author":[{"given":"Paul J.","family":"Voda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037440_CR1","volume-title":"Programming, in Prolog","author":"W. Clocksin","year":"1981","unstructured":"Clocksin, W. and Mellish, C.,Programming, in Prolog, Springer, Berlin, 1981."},{"key":"BF03037440_CR2","unstructured":"Colmerauer, A., \u201cProlog and Infinite Trees,\u201d inLogic Programming (Clark and T\u00e4rnlund, eds.), Academic Press, 1982."},{"key":"BF03037440_CR3","doi-asserted-by":"crossref","unstructured":"van Emden, M. and Lloyd, J., \u201cA Logical Reconstruction of Prolog II\u201d2nd International Logic Programming Conference, Uppsala, Sweden, 1984.","DOI":"10.1016\/0743-1066(84)90001-3"},{"key":"BF03037440_CR4","unstructured":"Kleene, S.,Introduction to Meta-Mathematics, North-Holland, 1952."},{"key":"BF03037440_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1984","unstructured":"Lloyd, J.,Foundations of Logic Programming, Springer, Berlin, 1984."},{"key":"BF03037440_CR6","doi-asserted-by":"crossref","unstructured":"Lloyd, J. and Topor, R., \u201cMaking Prolog More Expressive,\u201dJournal of Logic Programming, No. 3, 1984.","DOI":"10.1016\/0743-1066(84)90011-6"},{"key":"BF03037440_CR7","unstructured":"Naish, L., \u201cAn Introduction to MU-Prolog,\u201dTech. Report of Dept. of Comput. Science, University of Melbourne, 1982."},{"key":"BF03037440_CR8","unstructured":"Sato, M., \u201cTheory of Symbolic Expressions II,\u201dTechnical Report, 84-04, Department of Information Science, University of Tokyo, 1984."},{"key":"BF03037440_CR9","unstructured":"Shoenfield, J.,Mathematical Logic, Addison-Wesley, 1967."},{"key":"BF03037440_CR10","unstructured":"Voda, P., and Yu, B., \u201cRF-Maple: A logic Programming Language with Functions, Types and Concurrency.,\u201dProceedings of the International Conference on Fifth Generation Computer Systems 1984, Tokyo, November, 1984."},{"key":"BF03037440_CR11","unstructured":"Voda, P., \u201cTheory of Pairs, Part I: Provably Recursive Functions,\u201dTech. Report of Dept. Comput. Science, UBC, Vancouver, December, 1984."},{"key":"BF03037440_CR12","doi-asserted-by":"crossref","unstructured":"Voda, P., \u201cA View of Programming Languages as Symbiosis of Meaning and Computations,\u201dNew Generation Computing,Vol. it3,No. 1, February, 1985.","DOI":"10.1007\/BF03037116"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037440.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037440\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037440","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:37Z","timestamp":1558572757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037440"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,6]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1986,6]]}},"alternative-id":["BF03037440"],"URL":"https:\/\/doi.org\/10.1007\/bf03037440","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,6]]}}}