{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:57Z","timestamp":1725664677018},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:59:40Z","timestamp":1330297180000},"page":"203-213","source":"Crossref","is-referenced-by-count":0,"title":["A proof procedure for hereditary Harrop formulas with free equality"],"prefix":"10.1007","author":[{"given":"Evgeny","family":"Makarov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"21_CR1","volume-title":"Technical Report CS-R9402","author":"K.R. Apt","year":"1994","unstructured":"K.R. Apt. Logic Programming and Negation: a Survey. Technical Report CS-R9402, CWI, Netherlands, 1994."},{"issue":"1","key":"21_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(86)90002-6","volume":"3","author":"D.M. Gabbay","year":"1986","unstructured":"D.M. Gabbay and M.J. Sergot. Negation as Inconsistency. I Journal of Logic Programming, 3(1):1\u201336, 1986.","journal-title":"I Journal of Logic Programming"},{"key":"21_CR3","unstructured":"A. Gomolko. Negation as Inconsistency in Prolog via Intuitionistic Logic. LNCS 832, 1994."},{"key":"21_CR4","unstructured":"J. Harland. A Clausal Form for the Completion of Logic Programs. In Proceedings of the 8th International Conference on Logic Programming, pages 711\u2013725, Paris, France, 1991."},{"issue":"4","key":"21_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"K. Kunen. Signed data dependencies in logic programs. Journal of Logic Programming, 7(4):231\u2013246, 1989.","journal-title":"Journal of Logic Programming"},{"key":"21_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1984","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1984."},{"key":"21_CR7","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. Scedrov. 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":"21_CR8","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1979","unstructured":"E. Mendelson. Introduction to Mathematical Logic. Van Nostrand, Princeton, NJ. 2nd ed., 1979.","edition":"2nd ed."},{"key":"21_CR9","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF00881902","volume":"11","author":"G. Nadathur","year":"1993","unstructured":"G. Nadathur. A Proof Procedure for the Logic of Hereditary Harrop Formulas. Journal of Automated Reasoning, 11:115\u2013145, 1993.","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:41:16Z","timestamp":1619574076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}