{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T10:54:41Z","timestamp":1648637681842},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,2,9]],"date-time":"2010-02-09T00:00:00Z","timestamp":1265673600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1007\/s13218-010-0015-5","type":"journal-article","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T06:33:45Z","timestamp":1265610825000},"page":"79-81","source":"Crossref","is-referenced-by-count":1,"title":["Static Termination Analysis for Prolog Using\u00a0Term Rewriting and\u00a0SAT\u00a0Solving"],"prefix":"10.1007","volume":"24","author":[{"given":"Peter","family":"Schneider-Kamp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,2,9]]},"reference":[{"key":"15_CR1","unstructured":"Schneider-Kamp P (2008) Static termination analysis of prolog using term rewriting and SAT solving. Dissertation, RWTH Aachen University. Available from: http:\/\/sunsite.informatik.rwth-aachen.de\/Publications\/AIB\/2008\/2008-17.pdf"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Schneider-Kamp P, Giesl J, Nguyen MT (2009) The dependency triple framework for termination of logic programs. In: LOPSTR\u201909, LNCS. Springer, Berlin (to appear)","DOI":"10.1007\/978-3-642-12592-8_4"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Schneider-Kamp P, Giesl J, Serebrenik A, Thiemann R (2009) Automated termination proofs for logic programs by term rewriting. ACM Transactions on Computational Logic, 11(1)","DOI":"10.1145\/1614431.1614433"},{"key":"15_CR4","series-title":"LNCS","volume-title":"SAT\u201907","author":"C Fuhs","year":"2007","unstructured":"Fuhs C, Giesl J, Middeldorp A, Schneider-Kamp P, Thiemann R, Zankl H (2007) SAT solving for termination analysis with polynomial interpretations. In: SAT\u201907. LNCS, vol\u00a04501. Springer, Berlin"},{"key":"15_CR5","series-title":"LNAI","volume-title":"FroCoS\u201907","author":"P Schneider-Kamp","year":"2007","unstructured":"Schneider-Kamp P, Thiemann R, Annov E, Codish M, Giesl J (2007) Proving termination using recursive path orders and SAT solving. In: FroCoS\u201907. LNAI, vol\u00a04720. Springer, Berlin"},{"key":"15_CR6","series-title":"LNCS","volume-title":"RTA\u201906","author":"J Giesl","year":"2006","unstructured":"Giesl J, Swiderski S, Schneider-Kamp P, Thiemann R (2006) Automated termination analysis for Haskell: from term rewriting to programming languages. In: RTA\u201906. LNCS, vol\u00a04098. Springer, Berlin"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-010-0015-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-010-0015-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-010-0015-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T14:59:46Z","timestamp":1559487586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-010-0015-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,9]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["15"],"URL":"https:\/\/doi.org\/10.1007\/s13218-010-0015-5","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,9]]}}}