{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:53Z","timestamp":1725664733786},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:10:19Z","timestamp":1330290619000},"page":"35-49","source":"Crossref","is-referenced-by-count":1,"title":["Pruning the search space of logic programs"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Cosimo","family":"Guarino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger and E. Riccobene. Logic+Control revisited: An abstract interpreter for G\u00f6del programs. In G. Levi, editor, Advances in Logic Programming Theory. Oxford Univ. Press, 1994.","DOI":"10.1093\/oso\/9780198538530.003.0005"},{"key":"3_CR2","unstructured":"A.F. Bowers and C.A. Gurr. Towards fast and declarative meta-programming. In Meta-programming in Logic Programming, pages 137\u2013166. MIT Press, 1995."},{"key":"3_CR3","unstructured":"A. Brogi and S. Contiero. Composing logic programs by meta-programming in G\u00f6del. In Meta-programming in Logic Programming, 167\u2013194. MIT Press, 1995."},{"key":"3_CR4","unstructured":"P.M. Hill and J.W. Lloyd. The G\u00f6del Programming Language. MIT Press, 1994."},{"issue":"1","key":"3_CR5","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1093\/logcom\/1.1.99","volume":"1","author":"P.M. Hill","year":"1990","unstructured":"P.M. Hill, J.W. Lloyd, and J.C. Shepherdson. Properties of pruning operator. Journal of Logic and Computation, 1(1):99\u2013143, 1990.","journal-title":"Journal of Logic and Computation"},{"key":"3_CR6","first-page":"569","volume":"74","author":"R.A. Kowalski","year":"1974","unstructured":"R.A. Kowalski. Predicate logic as a programming language. In IFIP 74, pages 569\u2013574, 1974.","journal-title":"IFIP"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"3_CR8","volume-title":"Technical Report 95\/16","author":"L. Naish","year":"1995","unstructured":"Lee Naish. Pruning in logic programming. Technical Report 95\/16, Department of Computer Science, University of Melbourne, Melbourne, Australia, June 1995."},{"issue":"1","key":"3_CR9","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0743-1066(89)90010-1","volume":"7","author":"L. Naish","year":"1989","unstructured":"Lee Naish. Proving properties of committed choice logic programs. Journal of Logic Programming, 7(1):63\u201384, July 1989.","journal-title":"Journal of Logic Programming"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat. Concurrent Constraint Programming Languages. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"issue":"3","key":"3_CR11","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"E. Shapiro. The family of concurrent logic languages. ACM Computer Surveys, 21(3):412\u2013510, 1989.","journal-title":"ACM Computer Surveys"}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60983-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:14:38Z","timestamp":1713633278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}