{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T00:42:04Z","timestamp":1768264924097,"version":"3.49.0"},"reference-count":16,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[1988,8]]},"DOI":"10.1137\/0217039","type":"journal-article","created":{"date-parts":[[2005,2,24]],"date-time":"2005-02-24T06:30:13Z","timestamp":1109226613000},"page":"629-639","source":"Crossref","is-referenced-by-count":19,"title":["Existence, Uniqueness, and Construction of Rewrite Systems"],"prefix":"10.1137","volume":"17","author":[{"given":"Nachum","family":"Dershowitz","sequence":"first","affiliation":[]},{"given":"Leo","family":"Marcus","sequence":"additional","affiliation":[]},{"given":"Andrzej","family":"Tarlecki","sequence":"additional","affiliation":[]}],"member":"351","reference":[{"key":"R2","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(86)80017-7"},{"key":"R5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15976-2_3"},{"key":"R7","volume-title":"Computability and unsolvability","author":"Davis Martin","year":"1958"},{"key":"R9","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(85)80003-6"},{"key":"R10","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"R13","volume-title":"Information Processing, IFIP","author":"Gerhart S.","year":"1980"},{"key":"R14","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90002-7"},{"key":"R15","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"R16","doi-asserted-by":"publisher","DOI":"10.1137\/0215084"},{"key":"R17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90023-4"},{"key":"R19","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"key":"R24","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(83)90009-1"},{"key":"R25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90044-6"},{"key":"R26","doi-asserted-by":"publisher","DOI":"10.1145\/322248.322251"},{"key":"R27","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1051\/ita\/1981150403731","volume":"15","author":"Raoult Jean-Claude","year":"1981","journal-title":"RAIRO Inform. Th\u00e9or."},{"key":"R28","first-page":"378","volume-title":"Universal Algebra by G. Gratzer","author":"Taylor W.","year":"1979"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/0217039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T12:14:19Z","timestamp":1497615259000},"score":1,"resource":{"primary":{"URL":"http:\/\/epubs.siam.org\/doi\/10.1137\/0217039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,8]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1988,8]]}},"alternative-id":["10.1137\/0217039"],"URL":"https:\/\/doi.org\/10.1137\/0217039","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,8]]}}}