{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T11:55:53Z","timestamp":1712404553806},"reference-count":17,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2012,3,1]],"date-time":"2012-03-01T00:00:00Z","timestamp":1330560000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1016\/j.apal.2011.08.004","type":"journal-article","created":{"date-parts":[[2011,10,15]],"date-time":"2011-10-15T14:20:52Z","timestamp":1318688452000},"page":"200-213","source":"Crossref","is-referenced-by-count":12,"title":["Expressive power of digraph solvability"],"prefix":"10.1016","volume":"163","author":[{"given":"Marc","family":"Bezem","sequence":"first","affiliation":[]},{"given":"Clemens","family":"Grabmayer","sequence":"additional","affiliation":[]},{"given":"Micha\u0142","family":"Walicki","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/j.apal.2011.08.004_br000005","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1002\/net.3230070306","article-title":"On kernels in strongly connected graphs","volume":"7","author":"Anciaux-Mendeleer","year":"1977","journal-title":"Networks"},{"key":"10.1016\/j.apal.2011.08.004_br000010","doi-asserted-by":"crossref","first-page":"2336","DOI":"10.1016\/j.disc.2005.12.031","article-title":"Perfect graphs, kernels and cooperative games","volume":"306","author":"Boros","year":"2006","journal-title":"Discrete Mathematics"},{"key":"10.1016\/j.apal.2011.08.004_br000015","unstructured":"Va\u0161ek Chv\u00e1tal, On the computational complexity of finding a kernel, Technical Report CRM-300, Centre de Recherches Math\u00e9matiques, Universit\u00e9 de Montr\u00e9al, 1973. http:\/\/users.encs.concordia.ca\/~chvatal."},{"issue":"3","key":"10.1016\/j.apal.2011.08.004_br000020","doi-asserted-by":"crossref","first-page":"767","DOI":"10.2178\/jsl\/1096901765","article-title":"Patterns of paradox","volume":"69","author":"Cook","year":"2004","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/j.apal.2011.08.004_br000025","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0304-3975(94)00182-I","article-title":"The class of problems that are linearly equivalent to Satisfiability or a uniform method for proving NP-completeness","volume":"145","author":"Creignou","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.apal.2011.08.004_br000030","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/S0167-5060(08)70041-4","article-title":"Graphes noyau-parfaits, II","volume":"9","author":"Duchet","year":"1980","journal-title":"Annals of Discrete Mathematics"},{"issue":"1","key":"10.1016\/j.apal.2011.08.004_br000035","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0012-365X(83)90017-1","article-title":"Une g\u00e9n\u00e9ralisation du theor\u00e8me de Richardson sur l\u2019existence de noyaux dans les graphes orient\u00e9s","volume":"43","author":"Duchet","year":"1983","journal-title":"Discrete Mathematics"},{"key":"10.1016\/j.apal.2011.08.004_br000040","unstructured":"Harvey Friedman, Kernel tower theory, I. FOM 407 (email list); http:\/\/cs.nyu.edu\/pipermail\/fom\/2010-March\/014507.html, 2010."},{"issue":"1","key":"10.1016\/j.apal.2011.08.004_br000045","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0012-365X(84)90131-6","article-title":"On kernels and semikernels of digraphs","volume":"48","author":"Galeana-S\u00e1nchez","year":"1984","journal-title":"Discrete Mathematics"},{"key":"10.1016\/j.apal.2011.08.004_br000050","series-title":"Consequences of the axiom of choice","author":"Howard","year":"1998"},{"issue":"5","key":"10.1016\/j.apal.2011.08.004_br000055","doi-asserted-by":"crossref","first-page":"928","DOI":"10.1090\/S0002-9939-1957-0089783-5","article-title":"On a theorem of Richardson","volume":"8","author":"Isbell","year":"1957","journal-title":"Proceedings of the AMS"},{"key":"10.1016\/j.apal.2011.08.004_br000060","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/BF01788692","article-title":"On directed graphs with an independent covering set","volume":"5","author":"Milner","year":"1989","journal-title":"Graphs and Combinatorics"},{"issue":"3","key":"10.1016\/j.apal.2011.08.004_br000065","doi-asserted-by":"crossref","first-page":"573","DOI":"10.2307\/1969755","article-title":"Solutions of irreflexive relations","volume":"58","author":"Richardson","year":"1953","journal-title":"The Annals of Mathematics, Second Series"},{"key":"10.1016\/j.apal.2011.08.004_br000070","series-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers","year":"1967"},{"key":"10.1016\/j.apal.2011.08.004_br000075","series-title":"Perspectives in Logic","article-title":"Subsystems of Second Order Arithmetic","author":"Simpson","year":"2009"},{"key":"10.1016\/j.apal.2011.08.004_br000080","series-title":"Theory of Games and Economic Behavior","author":"von Neumann","year":"1944"},{"issue":"4","key":"10.1016\/j.apal.2011.08.004_br000085","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1093\/analys\/53.4.251","article-title":"Paradox without self-reference","volume":"53","author":"Yablo","year":"1993","journal-title":"Analysis"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007211001205?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007211001205?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,11,29]],"date-time":"2018-11-29T09:24:38Z","timestamp":1543483478000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007211001205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["S0168007211001205"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2011.08.004","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2012,3]]}}}