{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:07:03Z","timestamp":1775056023731,"version":"3.50.1"},"reference-count":0,"publisher":"Instituto Politecnico Nacional\/Centro de Investigacion en Computacion","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["CyS"],"DOI":"10.13053\/cys-24-1-2940","type":"journal-article","created":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T01:50:48Z","timestamp":1594777848000},"source":"Crossref","is-referenced-by-count":1,"title":["Presburger Constraints in Trees"],"prefix":"10.13053","volume":"24","author":[{"given":"Everardo","family":"Barcenas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edgard","family":"Ben\u00edtez Guerrero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jes\u00fas","family":"Lavalle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillermo","family":"Molero Castillo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"5402","published-online":{"date-parts":[[2020,3,30]]},"container-title":["Computaci\u00f3n y Sistemas"],"original-title":[],"deposited":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T01:51:04Z","timestamp":1594777864000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cys.cic.ipn.mx\/ojs\/index.php\/CyS\/article\/view\/2940"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":0,"aliases":["10.13053\/cys-1-1-2940"],"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,3,30]]}},"URL":"https:\/\/doi.org\/10.13053\/cys-24-1-2940","relation":{},"ISSN":["2007-9737","1405-5546"],"issn-type":[{"value":"2007-9737","type":"electronic"},{"value":"1405-5546","type":"print"}],"subject":[],"published":{"date-parts":[[2020,3,30]]}}}