{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T14:31:21Z","timestamp":1673015481894},"reference-count":14,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[2000,5]]},"DOI":"10.1016\/s0167-739x(99)00092-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:32:32Z","timestamp":1027636352000},"page":"809-830","source":"Crossref","is-referenced-by-count":8,"title":["CHAT: the copy-hybrid approach to tabling"],"prefix":"10.1016","volume":"16","author":[{"given":"Bart","family":"Demoen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-739X(99)00092-8_BIB1","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci, Warren\u2019s Abstract Machine: A Tutorial Reconstruction, MIT Press, Cambridge, MA, 1991. See also: http:\/\/www.isg.sfu.ca\/~hak\/documents\/wam.html.","DOI":"10.7551\/mitpress\/7160.001.0001"},{"issue":"2","key":"10.1016\/S0167-739X(99)00092-8_BIB2","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01407834","article-title":"The muse approach to OR-parallel Prolog","volume":"19","author":"Ali","year":"1990","journal-title":"Int. J. Parallel Programming"},{"issue":"4","key":"10.1016\/S0167-739X(99)00092-8_BIB3","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/356827.356831","article-title":"Tabulation techniques for recursive programs","volume":"12","author":"Bird","year":"1980","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"10.1016\/S0167-739X(99)00092-8_BIB4","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/227595.227597","article-title":"Tabled evaluation with delaying for general logic programs","volume":"43","author":"Chen","year":"1996","journal-title":"J. ACM"},{"key":"10.1016\/S0167-739X(99)00092-8_BIB5","doi-asserted-by":"crossref","unstructured":"B. Demoen, K. Sagonas, CAT: the copying approach to tabling, in: C. Palamidessi, H. Glaser, K. Meinke (Eds.), Principles of Declarative Programming, 10th International Symposium, PLILP\u201998, Held Jointly with the Sixth International Conference, ALP\u201998, LNCS, vol. 1490, Pisa, Italy, Springer, Berlin, September 1998, pp. 21\u201335","DOI":"10.1007\/BFb0056605"},{"key":"10.1016\/S0167-739X(99)00092-8_BIB6","doi-asserted-by":"crossref","unstructured":"B. Demoen, K. Sagonas, Memory management for Prolog with tabling, in: Proceedings of ISMM\u201998: ACM SIGPLAN International Symposium on Memory Management, Vancouver, BC, Canada, ACM, New York, October 1998, pp. 97\u2013106.","DOI":"10.1145\/286860.286871"},{"key":"10.1016\/S0167-739X(99)00092-8_BIB7","doi-asserted-by":"crossref","unstructured":"B. Demoen, K. Sagonas, CHAT is \u0398(SLG-WAM), in: H. Ganzinger, D. McAllester, A. Voronkov (Eds.), Proceedings of the Sixth International Conference on Logic for Programming and Automated Reasoning, LNAI, vol.1705, Tbilisi, Republic of Georgia, Springer, Berlin 1999, pp. 337\u2013357.","DOI":"10.1007\/3-540-48242-3_21"},{"key":"10.1016\/S0167-739X(99)00092-8_BIB8","unstructured":"J. Freire, T. Swift, D.S. Warren, Beyond depth-first strategies: improving tabled logic programs through alternative scheduling. J. Functional and Logic Programming 1998 (3) (1998)."},{"key":"10.1016\/S0167-739X(99)00092-8_BIB9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1038\/218019a0","article-title":"Memo functions and machine learning","volume":"218","author":"Michie","year":"1968","journal-title":"Nature"},{"issue":"3","key":"10.1016\/S0167-739X(99)00092-8_BIB10","doi-asserted-by":"crossref","first-page":"586","DOI":"10.1145\/291889.291897","article-title":"An abstract machine for tabled execution of fixed-order stratified logic programs","volume":"20","author":"Sagonas","year":"1998","journal-title":"ACM Trans. Programming Languages Syst."},{"key":"10.1016\/S0167-739X(99)00092-8_BIB11","unstructured":"K. Sagonas, T. Swift, D.S. Warren, An abstract machine for computing the well-founded semantics, in: M. Maher (Ed.), Proceedings of the Joint International Conference and Symposium on Logic Programming, Bonn, Germany, MIT Press, Cambridge, MA, September 1996, pp. 274\u2013288."},{"key":"10.1016\/S0167-739X(99)00092-8_BIB12","unstructured":"D.H.D. Warren, An abstract Prolog instruction set, Technical Report 309, SRI International, Menlo Park, USA, October 1983."},{"key":"10.1016\/S0167-739X(99)00092-8_BIB13","unstructured":"D.H.D. Warren, The SRI model for OR-Parallel execution of Prolog \u2014 abstract design and implementation issues, in: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, IEEE Computer Science Press, September 1987, pp. 92\u2013102."},{"issue":"3","key":"10.1016\/S0167-739X(99)00092-8_BIB14","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/131295.131299","article-title":"Memoing for logic programs","volume":"35","author":"Warren","year":"1992","journal-title":"Commun. ACM"}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X99000928?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X99000928?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,4]],"date-time":"2020-02-04T22:24:30Z","timestamp":1580855070000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167739X99000928"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,5]]},"references-count":14,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2000,5]]}},"alternative-id":["S0167739X99000928"],"URL":"https:\/\/doi.org\/10.1016\/s0167-739x(99)00092-8","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[2000,5]]}}}