{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:02Z","timestamp":1725663782300},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544876"},{"type":"electronic","value":"9783540384014"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54487-9_57","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:54:31Z","timestamp":1330192471000},"page":"145-155","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Subclasses of quantified boolean formulas"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Fl\u00f6gel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Karpinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans Kleine","family":"B\u00fcning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"9_CR1","unstructured":"S. O. Aanderaa, E. B\u00f6rger: The Horn complexity of Boolean functions and Cook's problem, Proc. 5th Scand.Logic Symp. (Eds.B.Mayoh, F.Jensen), 1979, 231\u2013256"},{"issue":"3","key":"9_CR2","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0020-0190(79)90002-4","volume":"8","author":"B. Aspvall","year":"1978","unstructured":"B. Aspvall, M. F. Plass and R.E. Tarjan: A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas, Information Processing Letters, Volume 8, number 3, 1978, 121\u2013123","journal-title":"Information Processing Letters"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"W. F. Dowling and J. H. Gallier: Linear-Time Algorithms For Testing The Satisfiability Of Propositional Horn Formulae, J. of Logic Programming, 1984, 267\u2013284","DOI":"10.1016\/0743-1066(84)90014-1"},{"key":"9_CR4","volume-title":"Computers and Intractability, A Guide to the Theory of NP-Completeness","author":"M. R. Garey","year":"1979","unstructured":"M. R. Garey and D. S: Johnson: Computers and Intractability, A Guide to the Theory of NP-Completeness, W. H. Freemann and Co., New York, 1979"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0304-3975(85)90144-6","volume":"39","author":"A. Haken","year":"1985","unstructured":"A. Haken: The intractability of resolution, Theoret. Comput. Sci. 39, 1985, 297\u2013308","journal-title":"Theoret. Comput. Sci."},{"key":"9_CR6","unstructured":"M.Karpinski, H.Kleine B\u00fcning: Resolution for Quantified Boolean Formulas, submitted for publication"},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/3-540-50241-6_34","volume":"329","author":"M. Karpinski","year":"1987","unstructured":"M. Karpinski, H. Kleine B\u00fcning and P.H. Schmitt: On the computational complexity of quantified Horn clauses, Lecture Notes in Computer Science 329, Springer-Verlag, 1987, 129\u2013137","journal-title":"Lecture Notes in Computer Science"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"L. J. Stockmeyer and A. R. Meyer: Word problems requiring exponential time, Proc. 5th Ann. ACM Symp. Theory of Computing, 1973, 1\u20139","DOI":"10.1145\/800125.804029"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54487-9_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:40:36Z","timestamp":1558255236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54487-9_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544876","9783540384014"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-54487-9_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"3 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}