{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:26:50Z","timestamp":1725528410829},"reference-count":14,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2002.1029852","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:14:31Z","timestamp":1056579271000},"page":"447-457","source":"Crossref","is-referenced-by-count":3,"title":["Deciding confluence of certain term rewriting systems in polynomial time"],"prefix":"10.1109","author":[{"given":"A.","family":"Tiwari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"13","DOI":"10.1007\/3-540-45294-X_28"},{"year":"2002","author":"tiwari","journal-title":"On the combination of equational and rewrite theories induced by certain term rewrite systems","key":"14"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1016\/0304-3975(87)90100-9"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1006\/jsco.1993.1029"},{"year":"1997","author":"comon","journal-title":"Tree Automata Techniques and Applications","key":"3"},{"key":"2","article-title":"Abstract congruence closure","author":"bachmair","year":"2002","journal-title":"J of Automated Reasoning"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1007\/10720084_16"},{"key":"10","article-title":"On the complexity of confluence for ground rewrite systems","author":"hayrapetyan","year":"2001","journal-title":"7th Biennial Bar-Ilan Intl Symp on the Found of Artificial Intelligence BISFAI"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/LICS.1990.113750"},{"year":"1987","journal-title":"Proc IEEE Symposium on Logic in Computer Science","key":"6"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1016\/0890-5401(90)90015-A"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/SFCS.2001.959904"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1145\/322217.322228"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/0304-3975(82)90026-3"}],"event":{"acronym":"LICS-02","name":"17th Annual IEEE Symposium on Logic in Computer Science","location":"Copenhagen, Denmark"},"container-title":["Proceedings 17th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8005\/22127\/01029852.pdf?arnumber=1029852","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T23:36:59Z","timestamp":1489189019000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029852\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/lics.2002.1029852","relation":{},"subject":[]}}