{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T15:01:58Z","timestamp":1781190118399,"version":"3.54.1"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/cdc.2007.4435013","type":"proceedings-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T16:06:38Z","timestamp":1201536398000},"page":"5575-5580","source":"Crossref","is-referenced-by-count":0,"title":["Solving commutative relaxations of word problems"],"prefix":"10.1109","author":[{"given":"Danielle C.","family":"Tarraf","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pablo A.","family":"Parrilo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1974-0349648-2"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.2307\/2267170"},{"key":"12","first-page":"61","article-title":"the decidability of the reachability problem for vector addition systems","author":"sacerdote","year":"1977","journal-title":"Proceedings of the 3rd Annual ACM Symposium on Theory of Computing"},{"key":"3","first-page":"243","article-title":"rewrite systems","volume":"b","author":"dershowitz","year":"1991","journal-title":"Handbook of Theoretical"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"1","author":"buchberger","year":"1965","journal-title":"An Algorithm for Finding the Bases Elements of the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal (in German)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1063\/1.2145882"},{"key":"7","first-page":"267","article-title":"decidability of reachability in vector addition systems","author":"kosaraju","year":"1982","journal-title":"Proceedings of the 14th Annual ACM Symposium on Theory of Computing"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876950"},{"key":"5","first-page":"227","article-title":"commutative semigroups with one defining relation","volume":"6","author":"emelichev","year":"1958","journal-title":"Uchenye zap Shuiskogo ped in-ta"},{"key":"4","year":"0"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/800076.802477"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(82)90048-2"}],"event":{"name":"2007 46th IEEE Conference on Decision and Control","location":"New Orleans, LA, USA","start":{"date-parts":[[2007,12,12]]},"end":{"date-parts":[[2007,12,14]]}},"container-title":["2007 46th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4433999\/4434000\/04435013.pdf?arnumber=4435013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T14:19:33Z","timestamp":1781187573000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4435013\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cdc.2007.4435013","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}