{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T10:50:48Z","timestamp":1648637448295},"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.238","type":"journal-issue","created":{"date-parts":[[2017,1,19]],"date-time":"2017-01-19T12:12:05Z","timestamp":1484827925000},"source":"Crossref","is-referenced-by-count":0,"title":[],"prefix":"10.4204","volume":"238","member":"2720","published-online":{"date-parts":[[2017,1,17]]},"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,1,19]],"date-time":"2017-01-19T12:12:05Z","timestamp":1484827925000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1701.04522"}},"subtitle":[],"editor":[{"given":"Iliano","family":"Cervesato","sequence":"first","affiliation":[]},{"given":"Maribel","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2017,1,17]]},"references-count":0,"URL":"https:\/\/doi.org\/10.4204\/eptcs.238","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1,17]]}}}