{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T09:05:35Z","timestamp":1720775135556},"reference-count":0,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.43.4","type":"journal-article","created":{"date-parts":[[2010,12,21]],"date-time":"2010-12-21T02:02:48Z","timestamp":1292896968000},"page":"49-64","source":"Crossref","is-referenced-by-count":3,"title":["Rewriting and Well-Definedness within a Proof System"],"prefix":"10.4204","volume":"43","author":[{"given":"Issam","family":"Maamria","sequence":"first","affiliation":[{"name":"University of Southampton"}]},{"given":"Michael","family":"Butler","sequence":"additional","affiliation":[{"name":"University of Southampton"}]}],"member":"2720","published-online":{"date-parts":[[2010,12,21]]},"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2010,12,22]],"date-time":"2010-12-22T22:03:30Z","timestamp":1293055410000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1012.4897v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,21]]},"references-count":0,"URL":"https:\/\/doi.org\/10.4204\/eptcs.43.4","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,21]]}}}