{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T23:39:29Z","timestamp":1774654769625,"version":"3.50.1"},"reference-count":13,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"3","funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2016\/23\/B\/ST6\/01438"],"award-info":[{"award-number":["2016\/23\/B\/ST6\/01438"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/S003800\/1"],"award-info":[{"award-number":["EP\/S003800\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2023,6,30]]},"DOI":"10.1137\/20m1377035","type":"journal-article","created":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T18:04:24Z","timestamp":1684865064000},"page":"641-683","source":"Crossref","is-referenced-by-count":3,"title":["Uniform Restricted Chase Termination"],"prefix":"10.1137","volume":"52","author":[{"given":"Tomasz","family":"Gogacz","sequence":"first","affiliation":[{"name":"Institute of Informatics, University of Warsaw, Warsaw, Poland."}]},{"given":"Jerzy","family":"Marcinkowski","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Wroclaw, Wroclaw, Poland."}]},{"given":"Andreas","family":"Pieris","sequence":"additional","affiliation":[{"name":"School of Informatics, University of Edinburgh, Edinburgh, United Kingdom, and Department of Computer Science, University of Cyprus, Nicosia, Cyprus."}]}],"member":"351","published-online":{"date-parts":[[2023,5,23]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320112"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.11240"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004275029985"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.03.002"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3873"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2012.03.001"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.08.002"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.033"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2018-1627"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3949"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.14778\/3402707.3402750"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687737"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25010-6_1"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,6,30]],"date-time":"2023-06-30T14:15:28Z","timestamp":1688134528000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/20M1377035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,23]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,6,30]]}},"alternative-id":["10.1137\/20M1377035"],"URL":"https:\/\/doi.org\/10.1137\/20m1377035","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5,23]]}}}