{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:04:18Z","timestamp":1725566658751},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540255963"},{"type":"electronic","value":"9783540320333"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32033-3_4","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T00:20:02Z","timestamp":1285633202000},"page":"32-45","source":"Crossref","is-referenced-by-count":0,"title":["Leanest Quasi-orderings"],"prefix":"10.1007","author":[{"given":"Nachum","family":"Dershowitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. Castedo","family":"Ellerman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"4_CR1","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/359138.359142","volume":"22","author":"N. Dershowitz","year":"1979","unstructured":"Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Communications of the ACM\u00a022(8), 465\u2013476 (1979)","journal-title":"Communications of the ACM"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BFb0023868","volume-title":"Logical Foundations of Computer Science - Tver \u201992","author":"N. Dershowitz","year":"1992","unstructured":"Dershowitz, N., Reingold, E.M.: Ordinal arithmetic with list expressions. In: Nerode, A., Taitslin, M.A. (eds.) LFCS 1992. LNCS, vol.\u00a0620, pp. 117\u2013126. Springer, Heidelberg (1992)"},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0020-0190(82)90107-7","volume":"15","author":"J.-P. Jouannaud","year":"1982","unstructured":"Jouannaud, J.-P., Lescanne, P.: On multiset orderings. Information Processing Letters\u00a015(2), 57\u201363 (1982)","journal-title":"Information Processing Letters"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(87)90003-2","volume":"26","author":"U. Martin","year":"1987","unstructured":"Martin, U.: Extension functions for multiset orderings. Information Processing Letters\u00a026, 181\u2013186 (1987)","journal-title":"Information Processing Letters"},{"key":"4_CR5","first-page":"37","volume":"67","author":"U. Martin","year":"1989","unstructured":"Martin, U.: A geometrical approach to multiset orderings. Information Processing Letters\u00a067, 37\u201354 (1989)","journal-title":"Information Processing Letters"},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"624","DOI":"10.2307\/2275551","volume":"62","author":"U. Martin","year":"1997","unstructured":"Martin, U., Scott, E.: The order types of termination orderings on monadic terms, strings and multisets. J. Symbolic Logic\u00a062(2), 624\u2013635 (1997)","journal-title":"J. Symbolic Logic"},{"unstructured":"Serebrenik, A., Schreye, D.D.: On termination of meta-programs. Theory and Practice of Logic Programming. To appear, available at \n                  \n                    http:\/\/arxiv.org\/abs\/cs.PL\/0110035","key":"4_CR7"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M.B. Smyth","year":"1978","unstructured":"Smyth, M.B.: Powerdomains. J. of Computer and System Sciences\u00a016(1), 23\u201336 (1978)","journal-title":"J. of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Term Rewriting and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32033-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T02:46:40Z","timestamp":1578538000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32033-3_4"}},"subtitle":["Preliminary Version"],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255963","9783540320333"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32033-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}