{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T02:35:54Z","timestamp":1768444554239,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540630456","type":"print"},{"value":"9783540690658","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:00:38Z","timestamp":1330297238000},"page":"354-368","source":"Crossref","is-referenced-by-count":2,"title":["Formal verification of logic programs: Foundations and implementation"],"prefix":"10.1007","author":[{"given":"Robert F.","family":"St\u00e4rk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"36_CR1","unstructured":"K. R. Apt. From Logic Programming to Prolog. International Series in Computer Science. Prentice Hall, 1996."},{"issue":"1","key":"36_CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1006\/inco.1993.1051","volume":"106","author":"K. R. Apt","year":"1993","unstructured":"K. R. Apt and D. Pedreschi. Reasoning about termination of pure Prolog programs. Information and Computation, 106(1):109\u2013157, 1993.","journal-title":"Information and Computation"},{"key":"36_CR3","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"issue":"1","key":"36_CR4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0743-1066(88)90007-6","volume":"5","author":"S. K. Debray","year":"1988","unstructured":"S. K. Debray and P. Mishra. Denotational and operational semantics for Prolog. J. of Logic Programming, 5(1):61\u201391, 1988.","journal-title":"J. of Logic Programming"},{"key":"36_CR5","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-1-4612-2822-6_5","volume-title":"Logic from Computer Science","author":"S. Feferman","year":"1992","unstructured":"S. Feferman. Logics for termination and correctness of functional programs. In Y. N. Moschovakis, editor, Logic from Computer Science, pages 95\u2013127, New York, 1992. Springer-Verlag."},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"S. Feferman. Logics for termination and correctness of functional programs, II. Logics of strength PRA. In P. Aczel, H. Simmons, and S. S. Wainer, editors, Proof Theory, pages 195\u2013225. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511896262.009"},{"key":"36_CR7","unstructured":"P. M. Hill and J. W. Lloyd. The G\u00f6del Programming Language. MIT Press, 1994."},{"issue":"3","key":"36_CR8","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. J. of Logic Programming, 7(3):231\u2013245, 1989.","journal-title":"J. of Logic Programming"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury, an efficient purely declarative logic programming language. J. of Logic Programming, 1996. To appear.","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"36_CR10","first-page":"252","volume-title":"The declarative semantics of the Prolog selection rule","author":"R. F. St\u00e4rk","year":"1994","unstructured":"R. F. St\u00e4rk. The declarative semantics of the Prolog selection rule. In Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science, LICS '94, pages 252\u2013261, Paris, France, July 1994. IEEE Computer Society Press."},{"issue":"3","key":"36_CR11","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1093\/logcom\/4.3.249","volume":"4","author":"R. F. St\u00e4rk","year":"1994","unstructured":"R. F. St\u00e4rk. Input\/output dependencies of normal logic programs. J. of Logic and Computation, 4(3):249\u2013262, 1994.","journal-title":"J. of Logic and Computation"},{"issue":"2","key":"36_CR12","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01270391","volume":"34","author":"R. F. St\u00e4rk","year":"1995","unstructured":"R. F. St\u00e4rk. First-order theories for pure Prolog programs with negation. Archive for Mathematical Logic, 34(2):113\u2013144, 1995.","journal-title":"Archive for Mathematical Logic"},{"key":"36_CR13","series-title":"Lecture Notes in Logic 6","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-662-21963-8_20","volume-title":"G\u00f6DEL'96. Logical Foundations of Mathematics, Computer Science and Physics \u2014 Kurt G\u00f6del's Legacy","author":"R. F. St\u00e4rk","year":"1996","unstructured":"R. F. St\u00e4rk. The finite stages of inductive definitions. In P. H\u00e1jek, editor, G\u00f6DEL'96. Logical Foundations of Mathematics, Computer Science and Physics \u2014 Kurt G\u00f6del's Legacy, pages 267\u2013290, Brno, Czech Republic, 1996. Springer-Verlag, Lecture Notes in Logic 6."},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"R. F. St\u00e4rk. The theoretical foundations of LPTP (a logic program theorem prover). Technical report, Institute of Informatics, University of Fribourg, 1997.","DOI":"10.1016\/S0743-1066(97)10013-9"}],"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_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:29:46Z","timestamp":1640950186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}