HTTP/2 200 date: Tue, 03 Feb 2026 23:18:23 GMT content-type: application/json content-length: 1311 access-control-expose-headers: Link access-control-allow-headers: X-Requested-With, Accept, Accept-Encoding, Accept-Charset, Accept-Language, Accept-Ranges, Cache-Control access-control-allow-origin: * vary: Accept-Encoding content-encoding: gzip server: Jetty(9.4.40.v20210413) x-rate-limit: 5 x-rate-limit-interval: 1s x-concurrency-limit: 1 x-api-pool: public permissions-policy: interest-cohort=() {"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:30:03Z","timestamp":1730280603592,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1109\/lics.2009.47","type":"proceedings-article","created":{"date-parts":[[2009,9,9]],"date-time":"2009-09-09T19:32:57Z","timestamp":1252524777000},"page":"355-364","source":"Crossref","is-referenced-by-count":5,"title":["A Unified Sequent Calculus for Focused Proofs"],"prefix":"10.1109","author":[{"given":"Chuck","family":"Liang","sequence":"first","affiliation":[]},{"given":"Dale","family":"Miller","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","volume":"364","author":"laurent","year":"2002","journal-title":"Etude de la Polarisation en Logique"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001328"},{"key":"14","first-page":"68","article-title":"investigations into logical deductions","author":"gentzen","year":"1969","journal-title":"The Collected Papers of Gerhard Gentzen"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.11.002"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74915-8_34"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90068-W"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)90087-6"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90093-S"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/11590156_42"},{"journal-title":"Se?quents Qu'on Calcule De L'interpre?tation du Calcul des Se?quents Comme Calcul de Lambda-Termes et Comme Calcul de Strate?gies Gagnantes","year":"1995","author":"herbelin","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74915-8_35"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09680-3_26"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.3.297"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.2307\/2275572"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/11780342_19"}],"event":{"name":"2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS)","start":{"date-parts":[[2009,8,11]]},"location":"Los Angeles, California, USA","end":{"date-parts":[[2009,8,14]]}},"container-title":["2009 24th Annual IEEE Symposium on Logic In Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5230546\/5230547\/05230563.pdf?arnumber=5230563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T04:37:56Z","timestamp":1489811876000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5230563\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/lics.2009.47","relation":{},"subject":[],"published":{"date-parts":[[2009,8]]}}}