{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:39Z","timestamp":1761597039893},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657194"},{"type":"electronic","value":"9783540490197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49019-1_5","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T05:47:45Z","timestamp":1186465665000},"page":"56-72","source":"Crossref","is-referenced-by-count":4,"title":["A Strong Logic Programming View for Static Embedded Implications"],"prefix":"10.1007","author":[{"given":"R.","family":"Arruabarrena","sequence":"first","affiliation":[]},{"given":"P.","family":"Lucio","sequence":"additional","affiliation":[]},{"given":"M.","family":"Navarro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"5_CR1","unstructured":"Arruabarrena, R. and Navarro, M. On Extended Logic Languages Supporting Program Structuring, In: Proc. of APPIA-GULP-PRODE\u201996, 191\u2013203, (1996)."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19-20","author":"M. Bugliesi","year":"1994","unstructured":"Bugliesi, M., Lamma, E. and Mello, P., Modularity in Logic Programming, Journal of Logic Programming, (19-20): 443\u2013502, (1994).","journal-title":"Journal of Logic Programming"},{"key":"5_CR3","unstructured":"Bonner, A. J., and McCarty, L. T., Adding Negation-as-Failure to Intuitionistic Logic Programming, In: Proc. of the North American Conf. on Logic Programming, MIT Press, 681\u2013703, (1990)."},{"key":"5_CR4","unstructured":"Bonner, A. J., McCarty, L. T., and Vadaparty, K., Expresing Database Queries with Intuitionistic Logic. In: Proc. of the North American Conf. on Logic Programming, MIT Press, 831\u2013850, (1989)."},{"issue":"4","key":"5_CR5","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/S0743-1066(85)80003-0","volume":"2","author":"D. M. Gabbay","year":"1985","unstructured":"Gabbay, D. M., N-Prolog: An Extension of Prolog with Hypothetical Implications. II. Logical Foundations and Negation as Failure, Journal of Logic Programming 2(4):251\u2013283 (1985).","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"5_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"1","author":"D. M. Gabbay","year":"1984","unstructured":"Gabbay, D. M. and Reyle, U., N-Prolog: An Extension of Prolog with Hypothetical Implications. I., Journal of Logic Programming 1(4):319\u2013355 (1984).","journal-title":"Journal of Logic Programming"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0743-1066(94)90001-9","volume":"21","author":"L. Giordano","year":"1994","unstructured":"Giordano, L., and Martelli, A.; Structuring Logic Programs: A Modal Approach, Journal of Logic Programming 21:59\u201394 (1994).","journal-title":"Journal of Logic Programming"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0304-3975(92)90066-O","volume":"95","author":"L. Giordano","year":"1992","unstructured":"Giordano, L., Martelli, A., and Rossi, G., Extending Horn Clause Logic with Implication Goals, Theoretical Computer Sscience, 95:43\u201374, (1992).","journal-title":"Theoretical Computer Sscience"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0743-1066(97)10014-0","volume":"36","author":"L. Giordano","year":"1998","unstructured":"Giordano, L., and Olivetti, N.; Combining Negation as Failure and Embedded Implications in Logic Programs, Journal of Logic Programming 36:91\u2013147 (1998).","journal-title":"Journal of Logic Programming"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(93)90007-4","volume":"17","author":"J. Harland","year":"1993","unstructured":"Harland., J. Succecs and Failure for Hereditary Harrop Formulae, Journal of Logic Programming, 17:1\u201329, (1993).","journal-title":"Journal of Logic Programming"},{"key":"5_CR11","unstructured":"Lucio, P. \n                  \n                    \n                  \n                  $$\n\\mathcal{F}\\mathcal{O}^ \\supset  \n$$\n                : A Complete Extension of First-order Logic with Intuitionistic Implication, Technical Research Report UPV-EHU\/LSI\/TR-6-98, URL address: \n                  http:\/\/www.sc.ehu.es\/paqui\n                  \n                , Submitted to a journal for publication."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","volume":"5","author":"L. T. McCarty","year":"1988","unstructured":"McCarty, L. T., Clausal Intuitionistic Logic I. Fixed-Point Semantics, Journal of Logic Programming, 5:1\u201331, (1988).","journal-title":"Journal of Logic Programming"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0743-1066(88)90014-3","volume":"5","author":"L. T. McCarty","year":"1988","unstructured":"McCarty, L. T., Clausal Intuitionistic Logic II. Tableau Proof Procedures, Journal of Logic Programming, 5:93\u2013132, (1988).","journal-title":"Journal of Logic Programming"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Meseguer, J., General Logics, In: Ebbinghaus H.-D. et al. (eds), Logic Colloquium\u201987, North-Holland, 275\u2013329, (1989).","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Multiparadigm Logic Programming, In: Proccedings of ALP\u201992, L.N.C.S. 632. Springer-Verlag, 158\u2013200, (1992).","DOI":"10.1007\/BFb0013826"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D. Miller","year":"1989","unstructured":"Miller, D., A Logical Analysis of Modules in Logic Programming, In: Journal of Logic Programming, 6:79\u2013108, (1989).","journal-title":"Journal of Logic Programming"},{"key":"5_CR17","unstructured":"Miller, D., Abstraction in Logic Programs. In: Odifreddi, P. (ed), Logic and Computer Science, Academic Press, 329\u2013359, (1990)."},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D. Miller","year":"1991","unstructured":"Miller, D., Nadathur, G., Pfenning, F. and Scedrov, A., Uniform Proofs as a Foundation for Logic Programming, Annals of Pure and App. Logic, 51:125\u2013157, (1991).","journal-title":"Annals of Pure and App. Logic"},{"key":"5_CR19","unstructured":"Monteiro, L., Porto, A., Contextual Logic Programmming, In: Proc. 6th International Conf. on Logic Programming, 284\u2013299, (1989)."},{"key":"5_CR20","unstructured":"Moscowitz, Y., and Shapiro, E., Lexical logic programs, In: Proc. 8th International Conf. on Logic Programming, 349\u2013363, (1991)."},{"key":"5_CR21","volume-title":"Constructivism in Mathematics: An Introduction","author":"D. Dalen van","year":"1988","unstructured":"van Dalen, D., and Troelstra, Constructivism in Mathematics: An Introduction Vol.1 and Vol.2, Elsevier Science, North-Holland, (1988)."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49019-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T01:52:45Z","timestamp":1550713965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49019-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657194","9783540490197"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-49019-1_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}