{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171627,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614630"},{"type":"electronic","value":"9783540685951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014329","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:04:25Z","timestamp":1132736665000},"page":"391-405","source":"Crossref","is-referenced-by-count":23,"title":["Programming in Lygon: An overview"],"prefix":"10.1007","author":[{"given":"James","family":"Harland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pym","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Winikoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"J.-M. Andreoli. Logic Programming with Focusing Proofs in Linear Logic. J. Logic Computat. 2(3), 1992.","DOI":"10.1093\/logcom\/2.3.297"},{"key":"28_CR2","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","author":"J.-M. Andreoli","year":"1991","unstructured":"J.-M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. New Gen. Comp., 9:445\u2013473, 1991.","journal-title":"New Gen. Comp."},{"key":"28_CR3","unstructured":"A. Bonner and L. McCarty. Adding Negation-as-Failure to Intuitionistic Logic Programming. Proc. NACLP, 681\u2013703, Austin, October, 1990."},{"issue":"4","key":"28_CR4","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter. Linda in context. CACM, 32(4):444\u2013458, 1989.","journal-title":"CACM"},{"key":"28_CR5","unstructured":"P. Dung. Hypothetical Logic Programming. Proc. 3rd. International Workshop on Extensions of Logic Programming 61\u201373, LNCS, Springer, 1992."},{"issue":"4","key":"28_CR6","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden van","year":"1976","unstructured":"M. van Emden and R. Kowalski. The Semantics of Predicate Logic as a Programming Language. J.ACM 23:4:733\u2013742, 1976.","journal-title":"J.ACM"},{"key":"28_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear Logic. Theoret. Comp. Sci. 50, 1\u2013102, 1987.","journal-title":"Theoret. Comp. Sci."},{"issue":"3","key":"28_CR8","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"S. Hanks and D. MacDermott. Nonmonotonic Logic and Temporal Projection. Artif. Intell. 33:3:379\u2013412, 1987.","journal-title":"Artif. Intell."},{"issue":"1","key":"28_CR9","first-page":"647","volume":"16","author":"J. Harland","year":"1994","unstructured":"J. Harland and D. Pym. A note on the implementation and applications of linear logic programming languages. Australian Computer Science Communications 16(1), 647\u2013658, 1994.","journal-title":"Australian Computer Science Communications"},{"key":"28_CR10","unstructured":"J. Harland, D. Pym and M. Winikoff. Programming in Lygon: a system demonstration. This volume."},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"J. Hodas. Logic Programming in Intuitionistic Linear Logic: Theory, Design and Implementation. PhD thesis, University of Pennsylvania, 1994.","DOI":"10.1006\/inco.1994.1036"},{"issue":"2","key":"28_CR12","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J. Hodas","year":"1994","unstructured":"J. Hodas and D. Miller. Logic Programming in a Fragment of Intuitionistic Linear Logic. Inform. and Computat. 110:2:327\u2013365, 1994.","journal-title":"Inform. and Computat."},{"key":"28_CR13","unstructured":"S.C. Kleene. Mathematical Logic. Wiley and Sons, 1968."},{"key":"28_CR14","unstructured":"N. Kobayash and A. Yonezawa. ACL \u2014 A Concurrent Linear Logic Programming Paradigm. Proc. ILPS'93, D. Miller (ed.), 279\u2013294, MIT Press, 1993."},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"D. Miller. A multiple-conclusion metalogic. Proc. LICS'94, 272\u2013281, IEEE, 1994.","DOI":"10.1109\/LICS.1994.316062"},{"key":"28_CR16","doi-asserted-by":"crossref","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. \u0160\u010dedrov. Uniform Proofs as a Foundation for Logic Programming. Ann. Pure Appl. Logic 51 (1991) 125\u2013157.","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"28_CR17","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1093\/logcom\/4.2.175","volume":"4","author":"D. Pym","year":"1994","unstructured":"D. Pym and J. Harland. A Uniform Proof-theoretic Investigation of Linear Logic Programming. J. Logic Computat. 4:2:175\u2013207, 1994.","journal-title":"J. Logic Computat."},{"issue":"2","key":"28_CR18","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF01228882","volume":"3","author":"J. Vaghani","year":"1994","unstructured":"J. Vaghani, K. Ramamohanarao, D. Kemp, Z. Somogyi, P. Stuckey, T. Leask and J. Harland. The Aditi Deductive Database System. VLDB J. 3:2:245\u2013288, 1994.","journal-title":"VLDB J."},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"P. Volpe. Concurrent Logic Programming as Uniform Linear Proofs. In: G. Levi and M. Rodr\u00edguez-Artalejo (eds.), Algebraic and Logic Programming, 133\u2013149. Springer, 1994.","DOI":"10.1007\/3-540-58431-5_11"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"D.S. Warren. Programming the PTQ Grammar in XSB. in Applications of Logic Databases, Raghu Ramakrishna (ed.), Kluwer Academic, 1994.","DOI":"10.1007\/978-1-4615-2207-2_10"},{"key":"28_CR21","unstructured":"M. Winikoff. Lygon home page (subject to alteration). http:\/\/www.cs.mu.oz.au\/\u223cwinikoff\/lygon\/lygon.html."},{"key":"28_CR22","unstructured":"M. Winikoff and J. Harland. Implementing the linear logic programming language Lygon. In: J. Lloyd (ed.), Proc. ILPS'95, 66\u201380, MIT Press, 1995."},{"key":"28_CR23","unstructured":"M. Winikoff and J. Harland. Some applications of the linear logic programing language Lygon. Australian Computer Science Communications, 18(1), Kotagiri Romamohanarao (editor), 1996."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014329","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:48:51Z","timestamp":1736113731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614630","9783540685951"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0014329","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}