{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:46:29Z","timestamp":1752461189644},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540542339"},{"type":"electronic","value":"9783540475163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54233-7_155","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:38:26Z","timestamp":1330191506000},"page":"455-468","source":"Crossref","is-referenced-by-count":22,"title":["Satisfiability of systems of ordinal notations with the subterm property is decidable"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Jouannaud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitsuhiro","family":"Okada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"35_CR1","unstructured":"Hubert Comon. Disunification: a survey. In Jean-Louis Lassez and Gordon Pl\u00f6tkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1990. to appear."},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Hubert Comon. Solving symbolic ordering constraints. In Proc. 5th IEEE Symp. Logic in Computer Science, Philadelphia, June 1990.","DOI":"10.1142\/S0129054190000278"},{"key":"35_CR3","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(82)90026-3","volume":"17","author":"N. Dershowitz","year":"1982","unstructured":"Nachum Dershowitz. Orderings for term-rewriting systems. Theoretical Computer Science, 17:123\u2013131, 1982.","journal-title":"Theoretical Computer Science"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Nachum Dershowitz and Jean-Pierre Jouannaud. Handbook of Theoretical Computer Science, volume B, chapter Rewrite Systems. North-Holland, 1990. J. van Leeuwen ed.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Nachum Dershowitz and Mitsuhiro Okada. Proof-theoretic techniques for term rewriting. In Proc. 3rd IEEE Symp. Logic in Computer Science, Edinburgh, June 1988.","DOI":"10.1109\/LICS.1988.5108"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"J. Hsiang and M. Rusinowitch. Proving refutational completeness of theorem proving strategies, Part I: The transfinite semantic tree method. Submitted to jacm, 1987.","DOI":"10.1007\/3-540-16780-3_86"},{"key":"35_CR7","unstructured":"Jean-Pierre Jouannaud and Claude Kirchner. Solving equations in abstract algebras: A rule-based survey of unification. In Jean-Louis Lassez and Gordon Pl\u00f6tkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT-Press, 1990. to appear."},{"key":"35_CR8","unstructured":"S. Kamin and Levy J.-J. Two generalizations of the recursive path ordering. Available as a report of the department of computer science, University of Illinois at Urbana-Champaign, 1980."},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"M. Okada. A simple relationship between buchholz's system of ordinal notation and takeuti's system of ordinal diagram. J. Symbolic Computation, 1988.","DOI":"10.2307\/2274350"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"K. Sch\u00fctte. Proof Theory. Springer-Verlag, 1978.","DOI":"10.1007\/978-3-642-66473-1"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54233-7_155.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:53:17Z","timestamp":1605628397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54233-7_155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540542339","9783540475163"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-54233-7_155","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}