{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:12:21Z","timestamp":1729635141744,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/clei.2014.6965188","type":"proceedings-article","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T19:06:09Z","timestamp":1417460769000},"page":"1-9","source":"Crossref","is-referenced-by-count":1,"title":["A note on the order type of minoring orderings and some algebraic properties of ω<sup>2<\/sup>-well quasi-orderings"],"prefix":"10.1109","author":[{"given":"Sergio","family":"Abriola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santiago","family":"Figueira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/978-3-642-22012-8_35","article-title":"Multiply-recursive upper bounds with Higman's Lemma","volume":"6756","author":"schmitz","year":"2011","journal-title":"Lecture Notes in Computer Science 2011"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1112\/S0025579300000565"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90222-F"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s11083-007-9058-0"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.5802\/aif.408"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013952225669"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322271"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(77)90067-1"},{"journal-title":"On the Maximal Order Type of Well-quasi-ordered Fini-tary Powersets","year":"2014","author":"abriola","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32621-9_9"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1994-1219735-8"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.46"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00102-X"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.39"},{"journal-title":"Reasoning on Words and Trees with Data","year":"2010","author":"figueira","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00100-6"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(99)00149-0"}],"event":{"name":"2014 XL Latin American Computing Conference (CLEI)","start":{"date-parts":[[2014,9,15]]},"location":"Montevideo, Uruguay","end":{"date-parts":[[2014,9,19]]}},"container-title":["2014 XL Latin American Computing Conference (CLEI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6939950\/6965096\/06965188.pdf?arnumber=6965188","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T21:16:58Z","timestamp":1498166218000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6965188\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/clei.2014.6965188","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}