{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:10:40Z","timestamp":1725570640720},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642175107"},{"type":"electronic","value":"9783642175114"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17511-4_9","type":"book-chapter","created":{"date-parts":[[2010,12,7]],"date-time":"2010-12-07T06:24:40Z","timestamp":1291703080000},"page":"136-153","source":"Crossref","is-referenced-by-count":10,"title":["A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae"],"prefix":"10.1007","author":[{"given":"Paola","family":"Bruscoli","sequence":"first","affiliation":[]},{"given":"Alessio","family":"Guglielmi","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Gundersen","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Parigot","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1016\/S0022-0000(02)00020-X","volume":"65","author":"A. Atserias","year":"2002","unstructured":"Atserias, A., Galesi, N., Pudl\u00e1k, P.: Monotone simulations of non-monotone proofs. Journal of Computer and System Sciences\u00a065(4), 626\u2013638 (2002)","journal-title":"Journal of Computer and System Sciences"},{"key":"9_CR2","volume-title":"Deep Inference and Symmetry in Classical Proofs","author":"K. Br\u00fcnnler","year":"2004","unstructured":"Br\u00fcnnler, K.: Deep Inference and Symmetry in Classical Proofs. Logos Verlag, Berlin (2004), http:\/\/www.iam.unibe.ch\/~kai\/Papers\/phd.pdf"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11780342_7","volume-title":"Logical Approaches to Computational Barriers","author":"K. Br\u00fcnnler","year":"2006","unstructured":"Br\u00fcnnler, K.: Deep inference and its normal form of derivations. In: Beckmann, A., Berger, U., L\u00f6we, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol.\u00a03988, pp. 65\u201374. Springer, Heidelberg (2006), http:\/\/www.iam.unibe.ch\/~kai\/Papers\/n.pdf"},{"key":"9_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/3-540-45653-8_24","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"K. Br\u00fcnnler","year":"2001","unstructured":"Br\u00fcnnler, K., Tiu, A.F.: A local system for classical logic. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, pp. 347\u2013361. Springer, Heidelberg (2001), http:\/\/www.iam.unibe.ch\/~kai\/Papers\/lcl-lpar.pdf"},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1462179.1462186","volume":"10","author":"P. Bruscoli","year":"2009","unstructured":"Bruscoli, P., Guglielmi, A.: On the proof complexity of deep inference. ACM Transactions on Computational Logic\u00a010(2), 1\u201334 (2009), Article 14, http:\/\/cs.bath.ac.uk\/ag\/p\/PrComplDI.pdf","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0168-0072(91)90059-U","volume":"53","author":"S.R. Buss","year":"1991","unstructured":"Buss, S.R.: The undecidability of k-provability. Annals of Pure and Applied Logic\u00a053(1), 75\u2013102 (1991)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9_CR7","unstructured":"Guglielmi, A.: Deep inference and the calculus of structures, http:\/\/alessio.guglielmi.name\/res\/cos"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1182613.1182614","volume":"8","author":"A. Guglielmi","year":"2007","unstructured":"Guglielmi, A.: A system of interaction and structure. ACM Transactions on Computational Logic\u00a08(1), 1\u201364 (2007), http:\/\/cs.bath.ac.uk\/ag\/p\/SystIntStr.pdf","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1:9","key":"9_CR9","first-page":"1","volume":"4","author":"A. Guglielmi","year":"2008","unstructured":"Guglielmi, A., Gundersen, T.: Normalisation control in deep inference via atomic flows. Logical Methods in Computer Science\u00a04(1:9), 1\u201336 (2008), http:\/\/arxiv.org\/pdf\/0709.1205","journal-title":"Logical Methods in Computer Science"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Je\u0159\u00e1bek, E.: Proof complexity of the cut-free calculus of structures. Journal of Logic and Computation (2008) (in press), http:\/\/www.math.cas.cz\/~jerabek\/papers\/cos.pdf","DOI":"10.1093\/logcom\/exn054"},{"key":"9_CR11","volume-title":"The Complexity of Boolean Functions","author":"I. Wegener","year":"1987","unstructured":"Wegener, I.: The Complexity of Boolean Functions. John Wiley & Sons Ltd and B. G. Teubner, Stuttgart (1987)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17511-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T21:20:11Z","timestamp":1559856011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17511-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642175107","9783642175114"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17511-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}