{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T11:59:06Z","timestamp":1772107146693,"version":"3.50.1"},"reference-count":17,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[1991,2]]},"DOI":"10.1137\/0220011","type":"journal-article","created":{"date-parts":[[2005,2,24]],"date-time":"2005-02-24T06:34:57Z","timestamp":1109226897000},"page":"184-208","source":"Crossref","is-referenced-by-count":5,"title":["More Nearly Optimal Algorithms for Unbounded Searching, II:The Transfinite Case"],"prefix":"10.1137","volume":"20","author":[{"given":"Edward M.","family":"Reingold","sequence":"first","affiliation":[]},{"given":"Xiaojun","family":"Shen","sequence":"additional","affiliation":[]}],"member":"351","reference":[{"key":"R1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01459088"},{"key":"R2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(76)90071-5"},{"key":"R4","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1975.1055349"},{"key":"R5","doi-asserted-by":"publisher","DOI":"10.2307\/2269866"},{"key":"R6","volume-title":"Ramsey theory","author":"Graham Ronald L.","year":"1980"},{"key":"R7","first-page":"46","volume":"4","author":"Grzegorczyk Andrzej","year":"1953","journal-title":"Rozprawy Mat."},{"key":"R8","volume-title":"Naive set theory","author":"Halmos Paul R.","year":"1960"},{"key":"R9","doi-asserted-by":"publisher","DOI":"10.1145\/65950.65955"},{"key":"R10","doi-asserted-by":"publisher","DOI":"10.2307\/2006985"},{"key":"R11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6686-7_28"},{"key":"R12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01973616"},{"key":"R14","volume-title":"Recursive functions","author":"P\u00e9ter R\u00f3zsa","year":"1967"},{"key":"R15","doi-asserted-by":"publisher","DOI":"10.1137\/0220010"},{"key":"R16","volume-title":"Subrecursion: functions and hierarchies","author":"Rose H. E.","year":"1984"},{"key":"R17","doi-asserted-by":"publisher","DOI":"10.1007\/BF02007256"},{"key":"R18","doi-asserted-by":"publisher","DOI":"10.1007\/BF03023057"},{"key":"R19","doi-asserted-by":"publisher","DOI":"10.2307\/2272973"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/0220011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,1,29]],"date-time":"2017-01-29T12:22:20Z","timestamp":1485692540000},"score":1,"resource":{"primary":{"URL":"http:\/\/epubs.siam.org\/doi\/10.1137\/0220011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,2]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,2]]}},"alternative-id":["10.1137\/0220011"],"URL":"https:\/\/doi.org\/10.1137\/0220011","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,2]]}}}