{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:21:43Z","timestamp":1725758503594},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452833"},{"type":"electronic","value":"9783642452840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45284-0_5","type":"book-chapter","created":{"date-parts":[[2013,11,25]],"date-time":"2013-11-25T00:54:34Z","timestamp":1385340874000},"page":"60-76","source":"Crossref","is-referenced-by-count":0,"title":["Supporting Pruning in Tabled LP"],"prefix":"10.1007","author":[{"given":"Pablo Chico","family":"de Guzm\u00e1n","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Carro","sequence":"additional","affiliation":[]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM\u00a043(1), 20\u201374 (1996)","journal-title":"Journal of the ACM"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-First Search and Linear Graph Algorithms. SIAM J. Comput.\u00a01, 140\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"issue":"4-6","key":"5_CR3","first-page":"401","volume":"10","author":"P. Chico de Guzm\u00e1n","year":"2010","unstructured":"Chico de Guzm\u00e1n, P., Carro, M., Warren, D.S.: Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling. TPLP\u00a010 (4-6), 401\u2013416 (2010)","journal-title":"TPLP"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-29822-6_11","volume-title":"Functional and Logic Programming","author":"P. Chico de Guzm\u00e1n","year":"2012","unstructured":"Chico de Guzm\u00e1n, P., Carro, M., Hermenegildo, M.V., Stuckey, P.: A general implementation framework for tabled CLP. In: Schrijvers, T., Thiemann, P. (eds.) FLOPS 2012. LNCS, vol.\u00a07294, pp. 104\u2013119. Springer, Heidelberg (2012)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Ait-Kaci, H.: Warren\u2019s Abstract Machine, A Tutorial Reconstruction. MIT Press (1991)","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/10722167_48","volume-title":"Computer Aided Verification","author":"C.R. Ramakrishnan","year":"2000","unstructured":"Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S., Dong, Y., Du, X., Roychoudhury, A., Venkatakrishnan, V.: XMC: A Logic-Programming-Based Verification Toolset. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 576\u2013580. Springer, Heidelberg (2000)"},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/291889.291897","volume":"20","author":"K. Sagonas","year":"1998","unstructured":"Sagonas, K., Swift, T.: An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. ACM Transactions on Programming Languages and Systems\u00a020(3), 586\u2013634 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1-2","key":"5_CR8","first-page":"157","volume":"12","author":"T. Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: XSB: Extending Prolog with Tabled Logic Programming. TPLP\u00a012(1-2), 157\u2013187 (2012)","journal-title":"TPLP"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/11799573_34","volume-title":"Logic Programming","author":"R. Rocha","year":"2006","unstructured":"Rocha, R.: Handling Incomplete and Complete Tables in Tabled Logic Programs. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 427\u2013428. Springer, Heidelberg (2006)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Sagonas, K.F., Stuckey, P.J.: Just Enough Tabling. In: PPDP 2004, pp. 78\u201389. ACM (August 2004)","DOI":"10.1145\/1013963.1013975"},{"key":"5_CR11","unstructured":"Guo, H.F., Gupta, G.: Cuts in Tabled Logic Programming. In: Demoen, B. (ed.) CICLOPS 2002, pp. 62\u201373 (July 2002)"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1002\/spe.824","volume":"38","author":"H.F. Guo","year":"2008","unstructured":"Guo, H.F., Gupta, G.: Simplifying Dynamic Programming via Mode-directed Tabling. Softw. Pract. Exper.\u00a038(1), 75\u201394 (2008)","journal-title":"Softw. Pract. Exper."},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-36575-3_6","volume-title":"Programming Languages and Systems","author":"L.F. Castro","year":"2003","unstructured":"Castro, L.F., Warren, D.S.: Approximate Pruning in Tabled Logic Programming. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 69\u201383. Springer, Heidelberg (2003)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/3-540-45635-X_20","volume-title":"Logic Programming","author":"H.-F. Guo","year":"2001","unstructured":"Guo, H.-F., Gupta, G.: A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 181\u2013196. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45284-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,10]],"date-time":"2020-08-10T15:14:43Z","timestamp":1597072483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45284-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452833","9783642452840"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45284-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}