{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214617},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442400"},{"type":"electronic","value":"9783540457930"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45793-3_12","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:03:26Z","timestamp":1187265806000},"page":"167-182","source":"Crossref","is-referenced-by-count":5,"title":["A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming"],"prefix":"10.1007","author":[{"given":"Joshua S.","family":"Hodas","sequence":"first","affiliation":[]},{"given":"Pablo","family":"L\u00f3pez","sequence":"additional","affiliation":[]},{"given":"Jeffrey","family":"Polakow","sequence":"additional","affiliation":[]},{"given":"Lubomira","family":"Stoilova","sequence":"additional","affiliation":[]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Jean-Marc Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 1992.","DOI":"10.1093\/logcom\/2.3.297"},{"issue":"1-3","key":"12_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0168-0072(00)00032-4","volume":"107","author":"J.-M. Andreoli","year":"2001","unstructured":"Jean-Marc Andreoli. Focusing and proof construction. Annals of Pure and Applied Logic, 107(1-3):131\u2013163, 2001.","journal-title":"Annals of Pure and Applied Logic"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Iliano Cervesato, Joshua S. Hodas, and Frank Pfenning. Efficient resource management for linear logic proof search. In Roy Dyckhoff, Heinrich Herre, and Peter Schroeder-Heister, editors, Proceedings of the Fifth International Workshop on Extensions of Logic Programming, volume 1050 of Lecture Notes in Artificial Intelligence, pages 67\u201381. Springer-Verlag, March 1996.","DOI":"10.1007\/3-540-60983-0_5"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Iliano Cervesato, Joshua S. Hodas, and Frank Pfenning. Efficient resource management for linear logic proof search. Theoretical Computer Science, 232(1-2), February 2000.","DOI":"10.1016\/S0304-3975(99)00173-5"},{"key":"12_CR5","unstructured":"James Harland and David Pym. The uniform proof-theoretic foundation of linear logic programming. In V. Saraswat and K. Ueda, editors, Proceedings of the 1991 International Logic Programming Symposium, pages 304\u2013318. M. I. T. Press, 1991."},{"issue":"2","key":"12_CR6","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1093\/logcom\/4.2.175","volume":"4","author":"James Harland","year":"1994","unstructured":"James Harland and David Pym. A uniform proof-theoretic investigation of linear logic programming. Journal of Logic and Computation, 4(2):175\u2013207, April 1994.","journal-title":"Journal of Logic and Computation"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"James Harland and David Pym. Resource distribution via boolean constraints. In W. McCune, editor, Proceedings of the Fourteenth International Conference on Automated Deduction \u2014 CADE-14, Townsville, Australia, 1997.","DOI":"10.1007\/3-540-63104-6_21"},{"key":"12_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/BFb0014329","volume-title":"Algebraic Methodology and Software Technology","author":"J. Harland","year":"1996","unstructured":"James Harland, David Pym, and Michael Winikoff. Programming in Lygon: An overview. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology, pages 391\u2013405, Munich, Germany, 1996. Springer-Verlag LNCS 1101."},{"key":"12_CR9","unstructured":"James Harland and Michael Winikoff. Implementing the linear logic programming language Lygon. In John Lloyd, editor, Proceedings of the 1995 International Logic Programming Symposium, pages 66\u201380, 1995."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"J. S. Hodas. Logic Programming in Intuitionistic Linear Logic: Theory, Design and Implementation. PhD thesis, University of Pennsylvania, Department of Computer and Information Science, 1994.","DOI":"10.1006\/inco.1994.1036"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"J. S. Hodas and D. Miller. Logic programming in a fragment of intuitionistic linear logic. In Proceedings of the Sixth Annual Symposium on Logic in Computer Science, July 15-18 1991.","DOI":"10.1109\/LICS.1991.151628"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"J. S. Hodas and D. Miller. Logic programming in a fragment of intuitionistic linear logic. Information and Computation, 110(2):327\u2013365, 1994. Extended abstract in the Proceedings of the Sixth Annual Symposium on Logic in Computer Science, Amsterdam, July 15-18, 1991.","DOI":"10.1006\/inco.1994.1036"},{"key":"12_CR13","unstructured":"J. S. Hodas, K. Watkins, N. Tamura, and K.-S. Kang. Efficient implementation of a linear logic programming language. In Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, pages 145\u2013159, June 1998."},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-48242-3_19","volume":"1705","author":"P. Lopez","year":"1999","unstructured":"Pablo L\u2019opez and Ernesto Pimentel. Resource management in linear logic proof search revisited. In Logic for Programming and Automated Reasoning, volume 1705, pages 304\u2013319. Springer Verlag, 1999.","journal-title":"Logic for Programming and Automated Reasoning"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D. Miller","year":"1991","unstructured":"D. Miller, G. Nadathur, F. Pfenning, and A. Scedrov. Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 51:125\u2013157, 1991.","journal-title":"Annals of Pure and Applied Logic"},{"key":"12_CR16","unstructured":"N. Tamura and Y. Kaneda. Extension of WAM for a linear logic programming language. In T. Ida, A. Ohori, and M. Takeichi, editors, Second Fuji International Workshop on Functional and Logic Programming, pages 33\u201350. World Scientific, Nov. 1996."},{"key":"12_CR17","unstructured":"Kevin Watkins. Unpublished Note, 1999."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45793-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:34:34Z","timestamp":1556771674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45793-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442400","9783540457930"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45793-3_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}