{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:32:15Z","timestamp":1720625535747},"reference-count":13,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":4920,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1016\/s1571-0661(04)00150-1","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T10:34:35Z","timestamp":1075977275000},"page":"65-89","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["On the Relations between Disjunctive and Linear Logic Programming"],"prefix":"10.1016","volume":"48","author":[{"given":"Marco","family":"Bozzano","sequence":"first","affiliation":[]},{"given":"Giorgio","family":"Delzanno","sequence":"additional","affiliation":[]},{"given":"Maurizio","family":"Martelli","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Abdulla, P. A., K. Cer\u0101ns, B. Jonsson, and Y.-K. Tsay, General Decidability Theorems for Infinite-State Systems, in: Proc. 11th Annual IEEE Int. Symposium on Logic in Computer Science (LICS'96) (1996), pp. 313\u2013321.","DOI":"10.1109\/LICS.1996.561359"},{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB2","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","article-title":"Logic Programming with Focusing Proofs in Linear Logic","volume":"2","author":"Andreoli","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB3","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF03037173","article-title":"Linear Objects: Logical Processes with Built-In Inheritance","volume":"9","author":"Andreoli","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Bozzano M., G. Delzanno and M. Martelli, A Bottom-up Semantics for Linear Logic Programs, in: M. Gabbrielli and F. Pfenning, editors, Proc. 2nd International Conference on Principles and Practice of Declarative Programming (PPDP'00) (2000), pp. 92\u2013102.","DOI":"10.1145\/351268.351279"},{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Bozzano M., G. Delzanno and M. Martelli, An Effective Fixpoint Semantics for Linear Logic Programs, Theory and Practice of Logic Programming (2001), To appear.","DOI":"10.1017\/S1471068402001254"},{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Cousot P. and R. Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fix-Points, in: Proc. 4th Symposium on Principles of Programming Languages (POPL'77) (1977), pp. 238\u2013252.","DOI":"10.1145\/512950.512973"},{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB7","doi-asserted-by":"crossref","unstructured":"Cousot P. and R. Cousot, Systematic Design of Program Analysis Frameworks, in: Proc. 6th Symposium on Principles of Programming Languages (POPL'79) (1979), pp. 269\u2013282.","DOI":"10.1145\/567752.567778"},{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Giacobazzi R. and F. Ranzato, Completeness in Abstract Interpretation: A Domain Perspective, in: M. Johnson, editor, Proc. 6th International Conference on Algebraic Methodology and Software Technology (AMAST'97), Lecture Notes in Computer Science 1349 (1997), pp. 231\u2013245.","DOI":"10.1007\/BFb0000474"},{"issue":"1","key":"10.1016\/S1571-0661(04)00150-1_NEWBIB9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB10","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","article-title":"Parallel Program Schemata","volume":"3","author":"Karp","year":"1969","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB11","first-page":"63","article-title":"A Survey of Linear Logic Programming","volume":"2","author":"Miller","year":"1995","journal-title":"Computational Logic: The Newsletter of the European Network of Excellence in Computational Logic"},{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB12","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0304-3975(96)00045-X","article-title":"Forum: A Multiple-Conclusion Specification Logic","volume":"165","author":"Miller","year":"1996","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00150-1_NEWBIB13","series-title":"Computational Logic. Essays in Honor of Alan Robinson","first-page":"613","article-title":"Theory of Disjunctive Logic Programs","author":"Minker","year":"1991"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001501?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001501?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T06:57:21Z","timestamp":1550213841000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001501"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":13,"alternative-id":["S1571066104001501"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00150-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}