{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:39Z","timestamp":1725561279510},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_42","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T04:53:55Z","timestamp":1280379235000},"page":"500-501","source":"Crossref","is-referenced-by-count":0,"title":["Online Justification for Tabled Logic Programs"],"prefix":"10.1007","author":[{"given":"Giridhar","family":"Pemmasani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai-Feng","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yifei","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. R.","family":"Ramakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I. V.","family":"Ramakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"42_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45635-X_18","volume-title":"Logic Programming","author":"H.-F. Guo","year":"2001","unstructured":"Guo, H.-F., Ramakrishnan, C.R., Ramakrishnan, I.V.: Speculative beats conservative justification. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 150\u2013165. Springer, Heidelberg (2001)"},{"key":"42_CR2","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. Ramakrishnan","year":"2000","unstructured":"Ramakrishnan, C., Ramakrishnan, I., Smolka, S.A., 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)"},{"key":"42_CR3","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1145\/351268.351290","volume-title":"Second International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP)","author":"A. Roychoudhury","year":"2000","unstructured":"Roychoudhury, A., Ramakrishnan, C.R., Ramakrishnan, I.V.: Justifying proofs using memo tables. In: Second International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), Montreal, Canada, September 2000, pp. 178\u2013189. ACM Press, New York (2000)"},{"key":"42_CR4","unstructured":"Specht, G.: Generating explanation trees even for negations in deductive database systems. In: Ducass\u00e9, M., Charlier, B.L., Lin, Y.-J., Yalcinalp, U. (eds.) Proceedings of ILPS 1993 Workshop on Logic Programming Environments (1993)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T11:39:44Z","timestamp":1552822784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}