{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:29:56Z","timestamp":1742959796634,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417392"},{"type":"electronic","value":"9783540447160"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44716-4_7","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T18:16:34Z","timestamp":1187201794000},"page":"108-122","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Higher-Order Logic Programming Language with Constraints"],"prefix":"10.1007","author":[{"given":"Javier","family":"Leach","sequence":"first","affiliation":[]},{"given":"Susana","family":"Nieva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Clark, K.L., Negation as Failure, in: H. Gallaire and J. Minker (eds.), Logic and Databases 293\u2013322, Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/BF00881900","volume":"11","author":"A. Felty","year":"1993","unstructured":"Felty, A., Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language, Journal of Automated Reasoning 11(1):43\u201381 (1993).","journal-title":"Journal of Automated Reasoning"},{"key":"7_CR3","unstructured":"Hanus, M. (ed.), Curry: an Integrated Functional Logic Language, Version 0.7, February 2, 2000. Available at http:\/\/www.informatik.uni-kiel.de\/~curry\/."},{"issue":"20","key":"7_CR4","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J. and Maher, M.J., Constraint Logic Programming: A Survey, Journal of Logic Programming 19(20):503\u2013581 (1994).","journal-title":"Journal of Logic Programming"},{"key":"7_CR5","unstructured":"Leach, J., Nieva, S. and Rodr\u00ecguez-Artalejo, M., Constraint Logic Programming with Hereditary Harrop Formulas in: J. Maluszy\u0149nski (ed.), ILPS\u201997 307\u2013321, MIT Press, 1997."},{"key":"7_CR6","unstructured":"Michaylov, S., Pfenning, F., Higher-Order Logic Programming as Constraint Logic Programming, in: Proc. of First Workshop on Principles and Practice of Constraint Programming, 221\u2013229, Brown University, 1993."},{"issue":"12","key":"7_CR7","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, Journal of Logic Programming 6(1,2):79\u2013108 (1989).","journal-title":"Journal of Logic Programming"},{"key":"7_CR8","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 Applied Logic 51:125\u2013157 (1991).","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR9","unstructured":"Miller, D., Nadathur, G. and Scedrov, A., Hereditary Harrop Formulas and Uniform Proof Systems, in: D. Gries (ed.), LICS\u201987 98\u2013105, IEEE Comp. Soc. Press, 1987."},{"key":"7_CR10","unstructured":"Nadathur, G. and Miller, D., An Overview of \u03bb-Prolog, in: K.A. Bowen and R. A. Kowalski (eds.), ICLP\u201988 810\u2013827, MIT Press, 1988."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Nerode, A., Some Lectures on Intuitionistic Logic, in: S. Homer, A. Nerode, R.A. Platek, G.E. Sacks, A. Scedrov (eds.), LCS\u201988 12\u201359, Springer LNM 1429, 1988.","DOI":"10.1007\/BFb0093923"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Saraswat, V., The Category of Constraint Systems is Cartesian Closed, in: LICS\u201992 341\u2013345, IEEE Comp. Soc. Press, 1992.","DOI":"10.1109\/LICS.1992.185546"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Tarski, A., A Decision Method for Elementary Algebra and Geometry, University of California Press, 1951.","DOI":"10.1525\/9780520348097"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44716-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T10:54:47Z","timestamp":1737370487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44716-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417392","9783540447160"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44716-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}