{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T01:37:01Z","timestamp":1750469821292},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540655275"},{"type":"electronic","value":"9783540492016"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49201-1_8","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T06:56:07Z","timestamp":1179644167000},"page":"106-121","source":"Crossref","is-referenced-by-count":10,"title":["CHAT: The Copy-Hybrid Approach to Tabling"],"prefix":"10.1007","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":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine: A Tutorial Reconstruction","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"H. A\u00eft-Kaci. Warren\u2019s Abstract Machine: A Tutorial Reconstruction. The MIT Press, Cambridge, Massachusetts, 1991. See also: http:\/\/www.isg.sfu.ca\/~hak\/documents\/wam.html ."},{"key":"8_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BFb0056605","volume-title":"Principles of Declarative Programming, 10th International Symposium, PLILP\u201998, Held Jointly with the 6th International Conference, ALP\u201998","author":"B. Demoen","year":"1998","unstructured":"B. Demoen and K. Sagonas. CAT: the Copying Approach to Tabling. In C. Palamidessi, H. Glaser, and K. Meinke, editors, Principles of Declarative Programming, 10th International Symposium, PLILP\u201998, Held Jointly with the 6th International Conference, ALP\u201998, number 1490 in LNCS, pages 21\u201335, Pisa, Italy, Sept. 1998. Springer."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"B. Demoen and K. Sagonas. Memory Management for Prolog with Tabling. In Proceedings of ISMM\u201998: ACM SIGPLAN International Symposium on Memory Management, pages 97\u2013106, Vancouver, B.C., Canada, Oct 1998. ACM Press.","DOI":"10.1145\/286860.286871"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"K. Sagonas and T. Swift. An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. ACM Transactions on Programming Languages and Systems, 20(3), May 1998.","DOI":"10.1145\/291889.291897"},{"key":"8_CR5","unstructured":"K. Sagonas, T. Swift, and D. S. Warren. An Abstract Machine for Computing the Well-Founded Semantics. In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 274\u2013288, Bonn, Germany, Sept 1996. The MIT Press."},{"key":"8_CR6","unstructured":"D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Report 309, SRI International, Menlo Park, U.S.A., Oct. 1983."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49201-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T05:58:45Z","timestamp":1587535125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49201-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540655275","9783540492016"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-49201-1_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}