{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:36Z","timestamp":1725561276488},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_9","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T04:53:55Z","timestamp":1280379235000},"page":"109-127","source":"Crossref","is-referenced-by-count":2,"title":["A Tutorial on Proof Theoretic Foundations of Logic Programming"],"prefix":"10.1007","author":[{"given":"Paola","family":"Bruscoli","sequence":"first","affiliation":[]},{"given":"Alessio","family":"Guglielmi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(93)90011-H","volume":"110","author":"J. Gallier","year":"1993","unstructured":"Gallier, J.: Constructive logics, Part I: A tutorial on proof systems and typed \u03bb-calculi. Theoretical Computer Science\u00a0110, 249\u2013339 (1993)","journal-title":"Theoretical Computer Science"},{"key":"9_CR2","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen, G.: Investigations into logical deduction. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, pp. 68\u2013131. North-Holland, Amsterdam (1969)"},{"key":"9_CR3","unstructured":"Miller, D.: Documentation for lambda prolog, \n                    \n                      http:\/\/lPrologdocs.html"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Miller, D.: Overview of linear logic programming. In: Ehrhard, T., Girard, J.-Y., Ruet, P., Scott, P. (eds.) Accepted as a chapter for a book on linear logic, Cambridge University Press, Cambridge, \n                    \n                      http:\/\/papersllp.pdf\n                    \n                    \n                  \n                           \n                    \n                      http:\/\/papersllp.pdf","DOI":"10.1017\/CBO9780511550850.004"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Miller, D.: A multiple-conclusion meta-logic. In: Abramsky, S. (ed.) Ninth Annual IEEE Symp. on Logic in Computer Science, Paris, July 1994, pp. 272\u2013281 (1994)","DOI":"10.1109\/LICS.1994.316062"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0304-3975(96)00045-X","volume":"165","author":"D. Miller","year":"1996","unstructured":"Miller, D.: Forum: A multiple-conclusion specification logic. Theoretical Computer Science\u00a0165, 201\u2013232 (1996)","journal-title":"Theoretical Computer Science"},{"key":"9_CR7","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., Scedrov, A.: Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic\u00a051, 125\u2013157 (1991)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"9_CR8","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1145\/96559.96570","volume":"37","author":"G. Nadathur","year":"1990","unstructured":"Nadathur, G., Miller, D.: Higher-order Horn clauses. Journal of the ACM\u00a037(4), 777\u2013814 (1990)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T11:57:44Z","timestamp":1552823864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}