{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299772},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:10:06Z","timestamp":1330290606000},"page":"67-81","source":"Crossref","is-referenced-by-count":20,"title":["Efficient resource management for linear logic proof search"],"prefix":"10.1007","author":[{"given":"Iliano","family":"Cervesato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joshua S.","family":"Hodas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Pfenning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF03037173","volume":"9","author":"J. Andreoli","year":"1991","unstructured":"Jean-Marc Andreoli and Remo Pareschi. Linear Objects: Logical Processes with Built-in Inheritance. New Generation Computing 9:3\u20134, 1991.","journal-title":"New Generation Computing"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1\u2013101, 1987.","journal-title":"Theoretical Computer Science"},{"key":"5_CR3","unstructured":"James Harland and David Pym. The uniform proof-theoretic foundation of linear logic programming. In Proceedings of the International Logic Programming Symposium, San Diego, California, October 1991, V. Saraswat and K. Ueda, eds., pp. 304\u2013318."},{"key":"5_CR4","unstructured":"James Harland and Michael Winikoff. Deterministic resource management for the linear logic programming language Lygon. Technical Report TR 94\/23, Melbourne University, Department of Computer Science, 1994."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Joshua S. Hodas, Logic Programming in Intuitionistic Linear Logic: Theory, Design, and Implementation, Ph.D. Dissertation from University of Pennsylvania, Department of Computer and Information Science, May 1994. Available electronically at http:\/\/www.cs.hmc.edu\/\u223chodas\/papers\/.","DOI":"10.1006\/inco.1994.1036"},{"issue":"2","key":"5_CR6","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J. S. Hodas","year":"1994","unstructured":"Joshua S. Hodas and Dale Miller. Logic Programming in a Fragment of Linear Logic. Journal of Information and Computation, 110(2):327\u2013365, 1994.","journal-title":"Journal of Information and Computation"},{"key":"5_CR7","unstructured":"Keehang Kwon. Towards a Verified Abstract Machine for a Logic Programming Language with a Notion of Scope. PhD thesis, Department of Computer Science, Duke University, December 1994. Available as Technical Report CS-1994-36."},{"key":"5_CR8","unstructured":"Timothy G. Lindholm and Richard A. O'Keefe. Efficient Implementation of a Defensible Semantics for Dynamic Prolog Code. Proceedings of the Fourth International Conference on Logic Programming, J.L. Lassez, ed., pp 21\u201339, MIT Press 1987."},{"key":"5_CR9","first-page":"253","volume-title":"LNAI 475","author":"D. Miller","year":"1989","unstructured":"Dale Miller. A logic programming language with lambda-abstraction, function variables, and simple unification. In P. Schr\u00f6der-Heister editor, Proceedings of the International Workshop on Proof-Theoretical Extensions of Logic Programming, pages 253\u2013281, T\u00fcbingen, Germany, 1989, Springer-Verlag LNAI 475."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Dale Miller. A Multiple-Conclusion Meta-Logic. Proceedings of the 1994 Symposium on Logics in Computer Science, S. Abramsky, ed., pp. 272\u2013281.","DOI":"10.1109\/LICS.1994.316062"},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D. Miller","year":"1991","unstructured":"Dale Miller, Gopalan Nadathur, Frank Pfenning, and Andre Scedrov. Uniform proofs as a foundation for logic programming, Annals of Pure and Appl\u00eded Logic, 51:125\u2013157, 1991.","journal-title":"Annals of Pure and Appl\u00eded Logic"},{"key":"5_CR12","unstructured":"Gopalan Nadathur, Bharat Jayaraman, and Keehang Kwon. Scoping constructs in logic programming: Implementation problems and their solution. Technical Report CS-1994-35, Department of Computer Science, Duke University, October 1994. To appear in Journal of Logic Programming."},{"key":"5_CR13","first-page":"811","volume-title":"LNAI 814","author":"F. Pfenning","year":"1994","unstructured":"Frank Pfenning. Elf: A meta-language for deductive systems. In A. Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction, pages 811\u2013815, Nancy, France, June 1994. Springer-Verlag LNAI 814. System abstract."}],"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_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:24Z","timestamp":1605647004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}