{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T23:11:25Z","timestamp":1720480285691},"reference-count":15,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2011,12,1]]},"DOI":"10.1093\/jigpal\/jzq010","type":"journal-article","created":{"date-parts":[[2010,5,5]],"date-time":"2010-05-05T21:01:35Z","timestamp":1273093295000},"page":"763-789","source":"Crossref","is-referenced-by-count":8,"title":["On the complexity of Bounded Second-Order Unification and Stratified Context Unification"],"prefix":"10.1093","volume":"19","author":[{"given":"J.","family":"Levy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Schmidt-Schauss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Villaret","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2010,5,5]]},"reference":[{"key":"4_40961197","first-page":"1009","volume":"II","year":"2001","journal-title":"HANDBOOK OF AUTOMATED REASONING"},{"key":"5_37215317","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1016\/S0022-0000(77)80034-2","volume":"15","year":"1977","journal-title":"JOURNAL OF COMPUTER AND SYSTEM SCIENCES"},{"key":"6_37215318","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0022-0000(78)90051-X","volume":"16","year":"1978","journal-title":"JOURNAL OF COMPUTER AND SYSTEM SCIENCES"},{"key":"7_37215319","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0168-0072(88)90015-2","volume":"39","year":"1988","journal-title":"ANNALS OF PURE AND APPLIED LOGIC"},{"key":"8_37215320","first-page":"173","volume":"87","year":"1991","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"11_37215321","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0304-3975(81)90040-2","volume":"13","year":"1981","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"12_37215322","doi-asserted-by":"crossref","first-page":"670","DOI":"10.1145\/234533.234543","volume":"43","year":"1996","journal-title":"JOURNAL OF THE ACM"},{"key":"19_37215323","doi-asserted-by":"crossref","first-page":"1113","DOI":"10.1137\/050645403","volume":"38","year":"2008","journal-title":"SIAM JOURNAL ON COMPUTING"},{"key":"20_37215324","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1006\/inco.2000.2877","volume":"159","year":"2000","journal-title":"INFORMATION AND COMPUTATION"},{"key":"24_37215325","doi-asserted-by":"crossref","first-page":"1210","DOI":"10.1137\/S0097539704445950","volume":"35","year":"2006","journal-title":"SIAM JOURNAL ON COMPUTING"},{"key":"26_37215326","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1070\/SM1977v032n02ABEH002376","volume":"32","year":"1977","journal-title":"MATH USSR SBORNIK"},{"key":"27_37215327","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0020-0190(00)00036-3","volume":"74","year":"2000","journal-title":"INFORMATION PROCESSING LETTERS"},{"issue":"6","key":"32_20351184","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1093\/logcom\/12.6.929","volume":"12","author":"Schmidt-Schauss","year":"2002","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"33_37215328","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.ic.2003.08.002","volume":"188","year":"2004","journal-title":"INFORMATION AND COMPUTATION"},{"key":"36_37215329","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1006\/jsco.2001.0438","volume":"33","year":"2002","journal-title":"JOURNAL OF SYMBOLIC COMPUTATION"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/19\/6\/763\/2836578\/jzq010.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T13:33:47Z","timestamp":1503495227000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzq010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,5]]},"references-count":15,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2011,10,10]]},"published-print":{"date-parts":[[2011,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzq010","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,5]]}}}